You searched for: “metamathematics
metamathematics
The branch of mathematics that deals with the logic and consistency of mathematical proofs, formulas, and equations.
This entry is located in the following units: -ics, -tics [-ac after i] (page 24) math-, -math + (page 1)