In this program
- Natural deduction or Hilbert-style proof systems (introduction)
- Soundness
- Completeness theorems (statements)
- Compactness theorem
- Its consequences (introduction)
- Löwenheim–Skolem theorems (overview)
- Undecidability
- Gödel's incompleteness theorems (introduction)
Proof systems and completeness
Natural deduction or Hilbert-style proof systems (introduction)
Mathematical logic & set theory · Theoretical / proof-based
Topic
Natural deduction or Hilbert-style proof systems (introduction)
Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.