An introduction to Zermelo-Fraenkel set theory, which is the most commonly used axiomatic set theory.