The axiom of the empty set asserts the existence of a set with no elements, the empty
set 
.
It is one of the Zermelo-Fraenkel axioms
and may be stated symbolically as
 |
Here 
is the existential quantifier ("there
exists"), 
is the universal quantifier ("for every"),
and 
means that 
is not an element of 
.
