Axiom of Extensionality Axiom of Separation Empty-set axiom Pair-set axiom Union axiom Powerset Axiom Axiom of Infinity Axiom of Replacement Axiom of Foundation
The 9 axioms and axiom schemes form ZF set theory. The Axiom of Choice is not included. We write ZFC for ZF+AC