Axiomatic set theory as a foundation for mathematics and as a field of mathematics: Axiom of Choice, the Continuum Hypothesis, and consistency results. Also offered as CAS PH 461.