Proof Theory

Proof theory is a branch of Mathematical Logic that studies proofs as formal mathematical objects. It explores their structure, validity, and the properties of Formal Systems in which they reside.

See also

• Model Theory
• Set Theory
• Metamathematics