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