Equivalence of Formulations of Axiom of Empty Set

Theorem
The two axiomatic definitions of the empty set:
 * $\exists x: \forall y: \left({\neg \left({y \in x}\right)}\right)$

and
 * $\exists x: \forall y \in x: y \ne y$

are logically equivalent.