metamathematics

The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations.

The metaphysics of mathematics; the philosophy of non-Euclidean geometry and the like.

A branch of mathematics dealing with mathematical systems and their nature.

the logical analysis of mathematical reasoning