Week 
Date of Monday 
Topic 
Homework 
Comments 
1 
Sept. 4 
Introduction. Basic Axioms. Notes. 
Homework 1.
Due 9/13. 
No class Monday. 
2 
Sept. 11 
Axioms. Functions. Notes. 
Homework 2.
Due 9/20. 

3 
Sept. 18 
Relations. Equivalence and order relations. Notes. 
Homework 3.
Due 9/27. 
Substitute (Prof. Thomas) on Monday and Wednesday. 
4 
Sept. 25 
Natural numbers. Recursion. Berry
Paradox. Notes. 
Homework 4.
Due 10/4. 
Incorrectly called it "Bertrand's Paradox" in class. Ha! 
5 
Oct. 2 
Arithmetic. 
None. 
Midterm on Wednesday. 
6 
Oct. 9 
Omega is wellordered. Begin construction of Z. Notes. 
Homework 5.
Due 10/18. 
As always, let me know if you find typos in the notes.
Thanks! 
7 
Oct. 16 
Finish Z. Begin Q. Notes. 
Homework 6.
Due 10/25. 
Fixed typo in HW 6 (10/21). 
8 
Oct. 23 
Finish Q. Begin R. Notes. 
Homework 7.
Due 11/01. 

9 
Oct. 30 
Finish R. Notes. 
Homework 8.
Due 11/08. 
"Why isn't it just obvious that the integers form an unbounded
subset of the real numbers?" By Timothy
Gowers 
10 
Nov. 6 
Decimal expansions. Finish C. 
None. 
Midterm on Wednesday. 
11 
Nov. 13 
Equinumerosity. Notes. 
Homework 9.
Due 11/29. 

12 
Nov. 20 
Proof of SchroderBernstein. 
None. 
Thanksgiving  no class Wednesday. 
13 
Nov. 27 
Cardinal Numbers. Notes. 
Homework 10.
Due 12/06. 

14 
Dec. 4 
The axiom of choice. Wellorders. Notes. 
Homework 11.
Due 12/13. 

15 
Dec. 11 
Ordinals. Notes. 
None. 
Wednesday is last day of classes. The final is on Dec. 19
(Tuesday) from 123pm, in the usual classroom. 