Meta-mathematics
From HandWiki
The totality of mathematical theories used in the study of formal theories (calculi). The meta-mathematics related to the study of a given formal theory forms the so-called meta-theory of this formal theory.
In a narrow sense, the term "meta-mathematics" is also used as a synonym for proof theory.
Comments
References
| [a1] | R. Sikorsky, "The mathematics of metamathematics" , Polska Akad. Nauk (1963) |
 |  |
