# Meta-mathematics

From Encyclopedia of Mathematics

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) |

**How to Cite This Entry:**

Meta-mathematics. A.G. Dragalin (originator),

*Encyclopedia of Mathematics.*URL: http://encyclopediaofmath.org/index.php?title=Meta-mathematics&oldid=13346

This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098