Axiom:Axiom of Infinity/Class Theory

Also see

 * Equivalence of Formulations of Axiom of Infinity for Zermelo Universe