metamathematics[met′ə mat̸h′ə mat′iks]
the logical study of the nature and validity of mathematical reasoning and proof
noun(used with a sing. verb)
The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations.
- A branch of mathematics dealing with mathematical systems and their nature.