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

Axiom
There exists a set that has no elements:
 * $\exists x: \forall y: \paren {\neg \paren {y \in x} }$

Also see

 * Equivalence of Formulations of Axiom of Empty Set