Answer: metamathematics

AnswerCrossword Clue
metamathematicsThe field of study that deals with the structure and formal properties of mathematics and similar formal systems
metamathematicsa field of study concerned with the formal structure and properties (as the consistency and completeness of axioms) of mathematical systems