18.510
Introduction to Mathematical Logic and Set Theory
Propositional and predicate logic. Zermelo-Fraenkel set theory. Ordinals and cardinals. Axiom of choice and transfinite induction. Elementary model theory: completeness, compactness, and Lowenheim-Skolem theorems. Godel's incompleteness theorem.
Prerequisites & course information
Prereq: None Acad Year 2027-2028: U (Spring) Acad Year 2028-2029: Not offered 3-0-9 units
Sources
- Course catalogue ↗2026–2027