jump to corresponding sense entry
noun
The logical analysis of mathematical reasoning.
is a specific kind of: pure mathematics.
domain category: math, mathematics, maths.
Polish: metamatematyka
Find more on metamathematics elsewhere: etymology - rhymes - Wikipedia.
debug info: 0.027