Equivalence of Formulations of Axiom of Powers

Theorem
In the context of class theory, the following formulations of the axiom of powers are equivalent: