Maarten Maartensz:    Philosophical Dictionary | Filosofisch Woordenboek                      

 M - Metamathematics


Metamathematics: Mathematical theories about mathematical theories.

The subject of metamathematics arose as it slowly became evident that there is a sound sense in which one can state and prove mathematical theorems that concern mathematical theories, such as concerns their completeness. (See: Gödel's Theorems).


See: Gödel's Theorems, Logic, Mathematics,


Hilbert & Bernays,

 Original: Apr 8, 2005                                                Last edited: 12 December 2011.   Top