Zermelo-Fraenkel axioms for set theory, well-foundedness and well-orderings, induction and recursion, ordinals and cardinals, axiom of choice, cardinal exponentiation, generalized continuum hypothesis, infinite combinatorics and basic independence results.