PDF version
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.

home | consulting | videos | book | QM FAQ | contact |