2.2.1 证明命题2.2.5.（提示：固定其中两个变元而对第三个变元进行归纳。） 答：首先我们把命题2.2.2摘抄如下： 命题2.2.5（加法是结合的） 对于任何自然数a,b,c，(a+b)+c=a+(b+c)。 我们首先来证明两个自然数的和依然是自然数，即任取两个自然数n和m，我们可以证明n+m为自然数。假如我们任取了一个自然数m，对于n使用数学归纳法。首先是起始条件为n=0，此时n+m=0+…