ABSTRACT
Exercise 1: (Multiplication is well defined) This exercise asks to show that there exists a unique function g : N×N −→ N so that for all x, y ∈ N
(e) g(x, 1) = x; (f) g(x, y′) = x+ g(x, y).
The proof parallels that given for Theorem 2.5.4. There are two parts to this proof, the first showing existence and the second showing uniqueness.
