Chapter 15. Ordinal Analysis
Proof theoretic ordinals, transfinite induction, strength of theories, applications to arithmetic, and limits of formal strength.
Tag
Formal Systems
5 notes
Chapter 14. Godel Theorems
Arithmetization of syntax, the first and second incompleteness theorems, implications for formal systems, and refinements.
3.2 Formal vs Informal Language
How formal precision and informal readability work together in mathematical writing.
Chapter 3. Proof Systems
Formal systems for deriving logical conclusions including natural deduction, sequent calculus, Hilbert systems, and proof transformations.
2.2 Formal Systems and Semantics
Syntax, axioms, inference rules, and the semantic interpretation of mathematical languages.