Axiom:Axiom of the Empty Set/Set Theory

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

Also see

 * Equivalence of Definitions 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