Proof theory

Layer 0 — Mathematicsin the formal-systems-limits subtree

The syntactic study of formal proofs: structural analysis, cut elimination, ordinal analysis, reverse mathematics. Dual to model theory.

Related concepts