Axiom:Axiom of Empty Set/Class Theory
Jump to navigation Jump to search
Let $V$ be a basic universe.
- $\O \in V$
Hence it is preferable not to use that name.
Some sources refer to this as the axiom of the null set.
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory: $\S 3$ Axiom of the empty set: $A_3$