Axiom of Extensionality
Axiom of Separation
Empty-set axiom
Pair-set axiom
Union axiom
Power-set 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