Proof systems and completeness

Mathematical logic & set theory · Theoretical / proof-based

Natural deduction or Hilbert-style proof systems (introduction)

Objectives

Natural deduction or Hilbert-style proof systems (introduction)
Soundness and completeness theorems (statements)
Compactness theorem and its consequences (introduction)
Löwenheim–Skolem theorems (overview)
Undecidability and Gödel's incompleteness theorems (introduction)

Study materials

Stuck on this? Book a session All units