In a rigorous treatment of set theory such as one encounters in an advanced course in logic, there is a detailed consideration of the axioms of set theory. As indicated in Chapter 1, this is part and parcel of the way that mathematics is done “for the record.” It is the way that we insure that no logical inconsistencies will arise in our future work, and it is the way that we lay the ground rules for our subject.