English Dictionary
◊ METAMATHEMATICS
metamathematics
n : the logical analysis of mathematical reasoning