next up previous
Next: About this document

Homework #2
Due Thursday, September 3

  1. Consider the set tex2html_wrap_inline11 where we define 1'=2, 2'=3, 3'=4,..., and also define A'=B and B'=A. We showed in class that N satisfies the first four Peano axioms. Prove that N does not satisfy the fifth axiom by finding a subset M of N that satisfies I and II but yet M does not equal N.
  2. Induction problems 1 and 7 in section 2.7 of the notes.

Carl Lee
Wed Sep 2 14:35:14 EDT 1998