Equivalence of Formulations of Axiom of Empty Set