Axiom:Axiom of Empty Set/Set Theory/Formulation 1

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

There exists a set that has no elements:


 * $\exists x: \forall y: \paren {\neg \paren {y \in x} }$

Also see

 * Equivalence of Definitions of Empty Set