Material set theory

Emptyset axiom

The Emptyset Axiom is a possible axiom in Material set theory: #m/def/set/zf

which is to say, there exists a set with no elements, which by the Axiom of Extensionality is unique and may be called , the empty set.

#state/tidy | #lang/en | #SemBr