Search Result for "metamathematics": 
Wordnet 3.0

NOUN (1)

1. the logical analysis of mathematical reasoning;


WordNet (r) 3.0 (2006):

metamathematics n 1: the logical analysis of mathematical reasoning