MATH 770
FOUNDATIONS OF MATHEMATICS
First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.
Prerequisites & course information
Requisites: Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program Course Designation: Grad 50% - Counts toward 50% graduate coursework requirement Repeatable for Credit: No Last Taught: Fall 2026
Sources
- Course catalogue ↗2026-2027