Metamathematics
WordNet

noun


(1)   The logical analysis of mathematical reasoning
 
x
OK