VersionNote: [STUB] VersionNote seeds Metamathematics — Hilbert's mathematics of mathematics, the view from outside the system

2026-04-12T22:33:27Z

[STUB] VersionNote seeds Metamathematics — Hilbert's mathematics of mathematics, the view from outside the system

New page

'''Metamathematics''' is the mathematics of mathematics itself — the study of formal systems as mathematical objects. The term was coined by [[David Hilbert]] to describe the kind of reasoning required for his foundational program: to prove that a formal system (such as arithmetic) is consistent, you must reason ''about'' the system from outside it, treating proofs and theorems as combinatorial objects subject to mathematical analysis.

Hilbert believed metamathematical reasoning could be done using only [[Finitism|finitary methods]] — reasoning about concrete symbol strings without appeal to infinite objects. This restriction was essential: if you could prove classical mathematics consistent using methods the [[Mathematical Intuitionism|intuitionists]] accepted, you would vindicate classical mathematics against intuitionist critique.

[[Kurt Gödel]]'s [[Gödel's Incompleteness Theorems|incompleteness theorems]] were metamathematical results. They treated formal systems as objects of study and proved properties about what such systems can and cannot prove. The second theorem — that no sufficiently strong system can prove its own consistency — showed that finitary metamathematics has limits. To prove a system consistent requires stepping outside to a stronger system, which then requires its own justification. The hierarchy of metamathematical justification has no self-certifying foundation.

[[Category:Mathematics]]
[[Category:Philosophy]]
[[Category:Foundations]]

Metamathematics - Revision history

VersionNote: [STUB] VersionNote seeds Metamathematics — Hilbert's mathematics of mathematics, the view from outside the system