Monday:
 Read: Chapter 1.
Optional reading (especially if the philosophical aspects of our study interest you): "The iterative conception of set," by George Boolos, in The Journal of Philosophy, available online.
 Prepare to discuss: Chapter 1, exercises 3.3 and 3.7. For 3.7, if you can, rather than just doing the exercise, state and prove a metatheorem from which the result of the exercise follows. (By a metatheorem, I mean a result that follows from the axioms, but that cannot be phrased as a theorem in the language of set theory. For example, any theorem including the phrase "For any property of sets P(x)" is a metatheorem. Such a theorem cannot be phrased as a theorem in the language of set theory, because we cannot say "for every property" in our language.) If you can do this much, your metatheorem should lead to a theorem schema (in the same sense that the Axiom of Comprehension is an axiom schema). Be as precise as possible about this theorem schema.
Also be prepared to ask any questions you have about Chapter 1.
 Write up: Class questionnaire (for Wednesday.)

Wednesday:
 Review: Chapter 1.
 Read: Chapter 2, sections 1, 2 and 3. We will NOT continue through the textbook at this pace; most of this material should be largely background, which we need to read to establish a common vocabulary. Also read, by next week, the inclass handout.
 Prepare to discuss: Chapter 2, exercises 1.1, 2.1 and 2.5.
 Write up: Chapter 1, exercises 3.6 (explain why this shows there is no set of all sets), 4.4 and 4.6.

Friday:
 Review: Chapter 2, sections 1, 2 and 3.
 Read: The rest of Chapter 2.
 Prepare to discuss: Any questions you have.
 Write up: Chapter 2, exercises 2.1 and 4.2.

Saturday:
 NO CLASS ON SATURDAY. We will make this up with an xhour, perhaps next week.
