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.
From meta- +"Ž mathematics.