+**Metamathematics** is the study of mathematics itself, treating mathematical theories as [Formal systems](/wiki/formal_systems). It explores the properties of these systems, such as their [Consistency](/wiki/consistency) and completeness, using mathematical methods. This field provides a deeper understanding of mathematics' own structure and limits.
+## See also
+- [Logic](/wiki/logic)
+- [Proof theory](/wiki/proof_theory)
+- [Model theory](/wiki/model_theory)
... 1 more lines