Definition of metamathematics
: a field of study concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems
First Known Use of metamathematics
Seen and Heard
What made you want to look up metamathematics? Please tell us where you read or heard it (including the quote, if possible).