Word
metamathematics, n.
the logical analysis of mathematical reasoning
<noun.cognition>
metamathematics
semantic pointers
domain of synset (topic)
mathematics, math, maths
hypernym
pure mathematics