Proposition 2.2.5 (Addition is associative) For any natural numbers \(a,b,c\), we have \((a+b)+c=a+(b+c)\).
\(Proof\) See Exercise 2.2.1.
Proposition 2.2.5
-
Exercise 2.3.3 (Proporsition 2.3.5 )
2.3.3. Prove Proposition 2.3.5 (Hint: modify the proof of Proposition of 2.2.5 and use the distribution law.)
-
Exercise 2.2.1 (Proposition 2.2.5)
Prove Proposition 2.2.5 (Hint: fix two of the variables and induct on the third)
-
Chapter2
Exercise 2.2.1. Prove Proposition 2.2.5