← Theoretical / proof-based

Get started Book tutoring

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

Gödel's incompleteness theorems (introduction)

Mathematical logic & set theory · Theoretical / proof-based

Topic

Gödel's incompleteness theorems (introduction)

Practice by unit: Proof systems and completeness

Undergraduate Mathematical Logic & Set Theory — scope drawn from open logic/set theory notes and typical US intro logic syllabi.

Get started Book tutoring All topics