Mathematical Logic — Foundations of Mathematics

Mathematical logic applies formal logic to the foundations of mathematics itself. It answers deep questions about what can be proven and what can be computed.

Four Classical Pillars

• Set theory — ZFC axioms, cardinals, ordinals.
• Model theory — structures that satisfy logical theories.
• Proof theory — formal systems and their strength.
• Computability — Turing machines and recursive functions.