TOPICS
Search

Metamathematics


Metamathematics is another word for proof theory.

The branch of logic dealing with the study of the combination and application of mathematical symbols is also sometimes called metamathematics or metalogic.


See also

Proof Theory

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Metamathematics." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Metamathematics.html

Subject classifications