用初等数论证明2+3=5,用皮亚诺公理证明~
1个回答

用++表示后继,并认为lz已经知道加法交换律和结合律基于皮亚诺公理的证明(需要的话,我可以补充),

由定义可以知道:5=4++=(3++)++=(3++)+1=(3+1)+1=(结合律)3+(1+1)

=3+2=(交换律)2+3

证毕

------------------------------------------------------------------------------------------------------------------

想到一个比较直接的方法:

2+3=2+(2++)=(2+2)++=(2+(1++))++=((2+1)++)++=(3++)++=4++=5