1+ 1= 2"可以说是人类引入自然数及有关的运算后"自然"得到的结论.但从十九世纪起数学家开始为建基于实数系统的分析学建立严密的逻辑基础后,人们才真正审视关于自然数的基础问题.我相信这方面最"经典"的证明应要算是...