证明加法的交换律定义自然数的加法a+b如下:a+0=a (若b=0)a+1 = a的后继 (若b=1)a+(n+1) = (a+n) + 1 (若b=n+1)证明如上定义的自然数加法,据有交换率.

问题描述:

证明加法的交换律
定义自然数的加法a+b如下:
a+0=a (若b=0)
a+1 = a的后继 (若b=1)
a+(n+1) = (a+n) + 1 (若b=n+1)
证明如上定义的自然数加法,据有交换率.