MATH 309
Sets, Logic, and Categories
An introduction to three different perspectives on foundations of mathematics. Topics include naive set theory, axiomatic set theory, propositional logic, formal proofs, categories and universality, elementary theory of the category of sets. Counts as a Disciplinary Communication course. Prereq: MATH 224 or MATH 228 .
Topics
- naive set theory
- axiomatic set theory
- propositional logic
- formal proofs
- categories and universality
- elementary theory of the category of sets
Topics explicitly listed in official catalogue description
Sources
- Course catalogue ↗2026-2027