In this program
- Propositional and predicate logic
- Proof systems and completeness
- Axiomatic set theory
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
- Completeness theorems (statements)
- Compactness theorem
- Its consequences (introduction)
- Löwenheim–Skolem theorems (overview)
- Undecidability
- Gödel's incompleteness theorems (introduction)
Study materials
- Study guideComing soon
- Exam StrategyComing soon
- Common MistakesComing soon
- WorksheetsComing soon
- Word problemsComing soon
- Mixed PracticeComing soon
- Multi-Unit ProblemsComing soon
- ReviewComing soon
- Practice testComing soon
- Answer keyComing soon
Interactive practice
Quizzes, typed answers, and flashcards for this unit — coming soon.
- Coming soon
Quiz
Multiple-choice questions with instant feedback
- Coming soon
Typed practice
Type answers and check them
- Coming soon
Flashcards
Vocabulary and key facts
- Coming soon
Mixed quiz
Harder mixed review for this standard