Foundations of Mathematics

Mathematical and Formal Logic

What is metamathematics?

Metamathematics is the study of mathematical reasoning in a general and abstract way, usually by trying to understand how theorems are derived from axioms. Thus, it is often called proof theory (for more information about axioms, see below). It does not study the objects of a particular mathematical theory, but examines the mathematical theories themselves with respect to their logical structure. Metamathematics is also used in logic to study the combination and application of mathematical symbols; this is often referred to as metalogic.


This is a web preview of the "The Handy Math Answer Book" app. Many features only work on your mobile device. If you like what you see, we hope you will consider buying. Get the App