Question

1+1=2是谁证明出来的?

Answer 1

1+1=2是罗素证明出来的。罗素的《数学原理》用了362页才推导出1+1=2这并不奇怪。无论是1+2=3，还是1+1=2，都是数学公理，始终都是成立的，这都是建立在皮亚诺公理之上，证明这样的恒等式没有意义。

第二数学归纳法

在假如论证在n=k+1时的真伪时，必须以n取不大于k的两个或两个以上乃至全部的自然数时命题的真伪为其论证的依据，则一般选用第二数学归纳法进行论证。之所以这样，其根本原则在于第二数学归纳法的归纳假设的要求较之第一数学归纳法更强，不仅要求命题在n=k时成立。

而且还要求命题对于一切小于k的自然数来说都成立，反过来，能用第一数学归纳法来论证的数学命题，一定也能用第二数学归纳进行证明，这一点是不难理解的。不过一般说来，没有必要这样做。

第二数学归纳法和第一数学归纳法一样，也是数学归纳法的一种表达形式，而且可以证明第二数学归纳法和第一数学归纳法是等价的，之所以采用不同的表达形式，旨在更便于我们应用。