← 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

Löwenheim–Skolem theorems (overview)

Mathematical logic & set theory · Theoretical / proof-based

Topic

Löwenheim–Skolem theorems (overview)

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