Axiom:Axiom of the Empty Set/Set Theory/Formulation 2

Axiom
In the context of axiomatic set theory, the axiom of the empty set is as follows:

There exists a set for which membership leads to a contradiction:
 * $\exists x: \forall y \in x: y \ne y$

Also see

 * Equivalence of Definitions of Empty Set