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