metamathematics

from WordNet (r) 3.0 (2006)
metamathematics
    n 1: the logical analysis of mathematical reasoning
    

[email protected]