Axiom:Axiom of the Empty Set

There exists a set that has no elements.


 * $$\exists x: \forall y: \left({\neg \left({y \in x}\right)}\right)$$

It is often alternatively referred to as the Axiom of the Empty Set.

This can be deduced from the Axiom of Infinity and Axiom of Subsets and some treatments exclude it from the list.