我附近的人都说没有被证明，但是罗素老人家不是用来300页纸证明了吗？到底有没有被证明？
这涉及到了哪一个1+1=2
罗素用300页纸证明的是算术式1+1=2（也就是连幼儿园小朋友都会的那个，参考为什么需要证明「1+1=2」）。
而一般我们提到的1+1=2是哥德巴赫猜想，即任意一个大于2的偶数都可写成两个质数之和。
哥德巴赫猜想还没有被完全证明。一些弱化的结论被证明了