meta·math·e·mat·ics /ˈmɛtəˌmæθˈmætɪks, mæθə-/ 超數學; 元數學
metamathematics n : the logical analysis of mathematical reasoning