數學證明


如果你用Peano公理建立自然數,再把加法歸納定義:a+1 是a的後繼,a+(b的後繼)=(a+b)的後繼如此一來,你能夠得到1+1=2,因為1的後繼是2。

如果對這一類特別有興趣,可以看看《陶哲軒實分析》。


你知道當年羅素他們用了800多頁證明1+1=2嗎233333PS:證明1+1=2的那本書叫《數學原理》

什麼是公理,1+1=2是不是公理,可以參考這個解答:依照休謨的認識論,1+1=2 的根據是什麼? - 楊學志的回答 - 知乎 https://www.zhihu.com/question/439799671/answer/1683924196


不是公理以下是證明:1+1=0*+1 //1的定義=(0+1)* //加法的定義2

=1* //加法的定義1

=2 //2的定義(其中*表示後繼數)

自然數後+1可以理解為表本自然數的後繼,從零開始,每個自然數都有不同的後繼,這條公理說明了1的後繼是2,所以1+1是定理


推薦閱讀:
相关文章