Handouts for Foundations Students

• Key Points 1 (The formal system L) (pdf)
• Key Points 2 (The Completeness Theorem) (pdf)
• Key Points 3 (First-order set theory) (pdf)
• Key Points 4 (Well ordered sets and ordinals) (pdf)
• Key Points 5 (Cardinals) (pdf)
• Correction (from 11/12/04) (pdf)
• Key Points 6 (Incompleteness Theorems) (pdf)
• Primitive Recursive Functions and Relations (pdf)
• Key Points 7 (Proof of The Second Incompleteness Theorem) (pdf)