Axiom:Axiom of the Empty Set/Set Theory

Axiom
There exists a set that has no elements:

Also see

 * Equivalence of Formulations of Axiom of Empty Set


 * Definition:Zermelo-Fraenkel Axioms
 * Definition:Empty Set
 * Empty Set is Unique
 * Axiom of Empty Set from Axiom of Infinity and Axiom of Specification