This is an introductory course to axiomatic set theory. We shall learn the axiomatic system ZFC, the Zermelo-Fraenkel set theory with Choice. The main objectives of this course are
- to understand how ZFC provides a foundation for (virtually all) mathematics,
- to learn about some set-theoretic techniques that are frequently used in mathematics,
- to learn about set theory as a field of mathematics on its own.