如何证明1+1=2?

当年歌德巴赫写信给欧拉，提出这么两条猜想：
（1）任何大于2的偶数都能分成两个素数之和
（2）任何大于5的奇数都能分成三个素数之和
很明显，（2）是一的推论
（2）已经被证明，是前苏联著名数学家伊·维诺格拉多夫用“圆法”和他自己创造的“三角和法”证明了充分大的奇数都可表为三个奇素数之和，就是著名的三素数定理。这也是目前为止，歌德巴赫猜想最大的突破。
在歌德巴赫猜想的证明过程中，还提出过这么个命题：每一个充分大的偶数，都可以表为素因子不超过m个与素因子不超过n个的两个数之和。这个命题简记为“m+n”
显然“1+1”正是歌德巴赫猜想的基础命题，“三素数定理”只是一个很重要的推论。
1973年，陈景润改进了“筛法”，证明了“1+2”，就是充分大的偶数，都可表示成两个数之和，其中一个是素数，另一个或者是素数，或者是两个素数的乘积。陈景润的这个证明结果被称为“陈氏定理”是至今为止，歌德巴赫猜想的最高记录.最后要证明的是1+1
给你看一个假设：
用以下的方式界定0，1和2
(eg.
qv.
Quine,
Mathematical
Logic,
Revised
Ed.,
Ch.
6,
§43-44)：
0
:=
{x:
x
={y:
~(y
=
y)}}
1
:=
{x:
y(yεx.&.x\{y}ε0)}
2
:=
{x:
y(yεx.&.x\{y}ε1)}
〔比如说，如果我们从某个属于1这个类的分子拿去一个元素的话，那麽该分子便会变成0的分子。换言之，1就是由所有只有一个元素的类组成的类。〕
现在我们一般采用主要由
von
Neumann
引入的方法来界定自然数。例如：
0:=
∧,
1:=
{∧}
=
{0}
=0∪{0},
2:=
{∧,{∧}}
=
{0,1}
=
1∪{1}
[∧为空集]
一般来说，如果我们已经构作集n,
那麽它的后继元(successor)
n*
就界定为n∪{n}。
在一般的集合论公理系统中（如ZFC）中有一条公理保证这个构作过程能不断地延续下去，并且所有由这构作方法得到的集合能构成一个集合，这条公理称为无穷公理(Axiom
of
Infinity)(当然我们假定了其他一些公理（如并集公理）已经建立。
〔注：无穷公理是一些所谓非逻辑的公理。正是这些公理使得以Russell
为代表的逻辑主义学派的某些主张在最严格的意义下不能实现。〕
跟我们便可应用以下的定理来定义关于自然数的加法。
定理：命"|N"表示由所有自然数构成的集合，那麽我们可以唯一地定义映射A：|Nx|N→|N，使得它满足以下的条件：
(1)对于|N中任意的元素x，我们有A(x,0)
=
x
；
(2)对于|N中任意的元素x和y，我们有A(x,y*)
=
A(x,y)*。
映射A就是我们用来定义加法的映射，我们可以把以上的条件重写如下：
(1)
x+0
=
x
；(2)
x+y*
=
(x+y)*。
现在，我们可以证明"1+1
=
2"
如下：
1+1
=
1+0*
(因为
1:=
0*)
=
(1+0)*
(根据条件(2))
=
1*
(根据条件(1))
=
2
(因为
2:=
1*)
〔注：严格来说我们要援用递归定理(Recursion
Theorem)来保证以上的构作方法是妥当的，在此不赘。]
1+
1=
2"可以说是人类引入自然数及有关的运算后"自然"得到的结论。但从十九世纪起数学家开始为建基于实数系统的分析学建立严密的逻辑基础后，人们才真正审视关于自然数的基础问题。我相信这方面最"经典"的证明应要算是出现在由Russell和Whitehead合着的"Principia
Mathematica"中的那个。
我们可以这样证明"1+1
=
2"：
首先，可以推知：
αε1
(∑x)(α={x})
βε2
(∑x)(∑y)(β={x,y}.&.~(x=y))
ξε1+1
(∑x)(∑y)(β={x}∪{y}.&.~(x=y))
所以对于任意的集合γ，我们有
γε1+1
(∑x)(∑y)(γ={x}∪{y}.&.~(x=y))
(∑x)(∑y)(γ={x,y}.&.~(x=y))
γε2
根据集合论的外延公理(Axiom
of
Extension)，我们得到1+1
=
2

呵呵，其实不是你想的那样的。
所谓的“1+1”或“1+2”都只是个简称。哥德巴赫猜想说的是，任何一个大于 6的偶数都可以表示成两个素数之和，通常表示为“1+1”。我国数学家陈景润于1966年证明：任何充分大的偶数，都是一个质数与一个自然数之和，而后者可表示为两个质数的乘积。通常这个结果表示为“1+2”。这是目前这个问题的最佳结果。请注意，在这里，“1+1”只是一个简称，并非是算术意义上的一加一。陈景润的证明过程，恐怕不是在这里能够写得下的。既使写在这里，又有几人能看得懂呢？
如果你说的是算术意义上的“1+1”，也就是说，如何证明一加一等于二，那么，我告诉你，这不须要证明。一加一等于二是数学公理体系的主要公设。也就是说，一加一等于二是一条公设，属于不证自明的，是其他数学定理推论的前提条件。因此，不存在如何证明一加一等于二这样的问题。
另外，我想提醒的是，陈景润证明的可不是“1+1=2”啊。这是常识，千万不要闹笑话。

1+1＝1+(0++)＝(1+0)++＝1++＝2，其中1＝0++，2＝1++。
每一个等号都由一条公理，定义，定理来保证，这就是数学证明的魅力，或者说最迷人的地方。

哥德巴赫猜想，中1+1至今为止还未证明，这是一个世界难题