1+2=3是如何证明的？

我想你的年级还很小吧？
我下面的话你可能不一定看得明白。。

我想你想问的应该是陈景润证明（1+2）吧？
事实上，我以前也陷入那样一个误区。都说陈景润证明了（1+2）但是还没人能证明（1+1）。总觉得好奇。。
1+1＝2不是我们小学就知道的吗？
没经过证明我们怎么就在用了呢？
1+1＝2不是和1+2＝3一样的证明方法吗？
………………
………………

其实这里说的（1+1）和（1+2）指的不是我们通常理解的1+1＝2、1+2＝3
首先你要知道。陈景润证明的是“哥德巴赫猜想”相关的问题。
哥德巴赫猜想是一个叫哥德巴赫的数学家提出的，大概是说：任何一个大于2的偶数都能分解成两个素数之和。
比方说8＝3+5，26＝19+5……
素数是指该数只能被1和它本身除尽。比方7，11，19。
现在这个命题还没有得到证明。但是通过计算机的高速运算，人们可以计算出直到很大很大的数字上，这个命题都是正确的。它应该就是正确的。
很早以前，外国人就证明了任何一个大于X（X应该不会很大）的偶数都能分解成一个素数与7个素数乘积的和。人们把这个表示成（1+7）
后来慢慢有人能证明一个大偶数能分解成一个素数与6个素数乘积的和（1+6）；一个素数与5个素数乘积的和（1+5）……。
再后来，我国的陈景润证明了任何一个大偶数都能分解成一个素数与2个素数乘积的和，这就是人们长说的（1+2）。比方18＝3（3*5）；30＝5+（5*5）。
至于他是怎么证明得，那写出来都是一大本的书。一般人是看不明白的。包括现在的你和我。。

但是人们还没有能直接证明哥德巴赫猜想，就是（1+1）。
这才是人们常说的能证明（1+2），还不能证明（1+1）。并非说我们能证明1+2＝3，不能证明1+1＝2。
事实上1+1＝2，1+2＝3都是人们规定的公理，是准则，是不需要也不用证明的。

你明白了吗？

可以根据皮亚诺的自然数公理体系来证明.
首先定义数字0为空集.然后递归的定义一个数A的后续A'为集合{A,{A}}.定义0的后续为1,即1=0'={0,{0}}.然后依次定义2,3...
然后形式化的定义加法为A+0=A,A+B'=(A+B)',且有(A+B)+C=A+(B+C).
然后你就可以证明1+1=2了.
因为1=0',所以1+1=1+0',根据加法的公理A+B'=(A+B)'和A+0=A,1+0'=(1+0)'=1'=2
类似的,你可以进一步证明1+2=3

请你伸出1根指头，再伸出两根指头，就是三根指头，这就说明1+2=3

因为1＋1＝2，所以1＋1＋1＝1＋2＝3，即证，呵呵
为什么1＋1＝2就是陈景润之类的数学家研究的原理性东西，如果随便就能证明那大家都是伟大的数学家了。

因为我的碗里有一个饺子，再加来两个饺子，碗里就有三个饺子了。所以1+2=3