METAMATHEMATICS
- The field of study that deals with the structure and formal properties of mathematics and similar formal systems
- a field of study concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems [n]