PDF version
of this book

**Next:** Infinity **Up:** Axioms of Set Theory
**Previous:** Axiom of union **Contents**

The integers are defined by an axiom that asserts the existence
of a set that contains
*all* the integers. is defined as the set
containing and having the property that if
is in then
is in . Writing this
compactly requires some notation. represents the empty set. From
any set then one can construct a set containing
. This set is written as .

This says there exists a set that contains the empty set and for every set that belongs to the set constructed as also belongs to .

The remaining axioms are developed in the next chapter starting in Section 6.3. The discussion of the infinite at the end of this chapter and the start of the next lays the groundwork for those axioms.

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