metamathematics
me·ta·mat·hematics
noun
1.
the logical analysis of mathematical reasoning
Origin
From meta- + mathematics.
Related words
Broader terms
WordNet 2.1 (Princeton University). Wiktionary (CC BY-SA). WordNet 2.1 Copyright Princeton University. All rights reserved. Wiktionary content is available under the Creative Commons Attribution-ShareAlike Licence.