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)$$

Otherwise known 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.