Axiomatic Set Theory

We build the foundations of set theory using the Zermelo-Fraenkel axioms with choice. The material follows the first chapter of Thomas Jech's "Set Theory".