Quick Reference
The theory of formal languages powerful enough to serve as the language of mathematics. In a formal metamathematical treatment, the formulae that occur in mathematics: axioms, theorems, and proofs, are treated as themselves mathematical objects, and theorems established about them. Major metamathematical results include Gödel's theorems and Church's theorem.
Subjects: Philosophy.
Related content in Oxford Index
Reference entries
Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.