of this book
Next: Axiom of unordered pairs Up: Axioms of Set Theory Previous: Axiom of extensionality Contents
The empty set must be defined before any other set can be defined. The axiom of the empty set uses the existential quantifier (). means there exists some set for which is true. Here is any expression that includes .
The notation indicates that is not a member of set .
The axiom of the empty set is as follows.
This says there exists an object that no other set belongs to. contains nothing. The empty set is denoted by the symbol .
The definition of the integers requires two axioms for constructing finite sets.