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.