Question

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

Answer 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