MA 308 Set Theory
This course begins with an introduction to first order logic followed by a study of the Zermelo-Fraenkel (ZF) axiomatic system. The study includes a formal development of basic concepts such as the natural numbers, Cartesian products, functions and relations and the concept of infinity from the ZF axioms. This proofs-based course concludes with a study of the axiom of choice (AC), and ordinal and cardinal numbers.
Prerequisite
C or better in MA 301