Material set theory

Emptyset axiom

The Emptyset Axiom is a possible axiom in Material set theory: 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.


tidy | en | SemBr