※ 引述《ERT312 (312)》之銘言：
: 自然數有三種不同的欣賞方式
: 1.憑藉直覺、直觀的方式
: 2.Peano公理化的方式
: 3.藉由集合論建構的方式
還有第四種喔
並不需要Peano公理 或是ZFC集合論的公理
可以參考Russell和他老師編的Principia Mathematica
定義了 1,2, +, = (傳說這些定義花了300頁)
然後證明1+1=2
https://goo.gl/myoF6d
這邊有整本書的電子檔
http://i.imgur.com/xuBa5KQ.png
最後根據上圖 可以得證1+1 =2
上面的內容不是唬爛的 在書本的第406頁
https://goo.gl/et33rZ

你數學系？如果考試出這個證明題 我絕對畫兩個蘋果 數給他看

考完你就要去退選了吧.....

直接K他兩個拳頭 再問他 我打你幾拳?? 這樣比較快

1+1=2是定義 無法證明

老師：三拳,換我證明給你看(朝我臉揮拳

謝謝 看完也想睡了

定義 呵呵

羅素寫的那個就是 type theory，他把每個東西都分階級老實說，我沒看過，☜☟☎✉✂☠☁✈♡☂

我跟你講 1+1也就只需要兩隻蝌蚪 你寫那麼多業的蝌蚪文...

1+1不是等於3嗎?

會去相信那證明的也真不簡單

數學版有1+1=2的證明文，小魯每年都要去朝聖一下

簡單的事複雜化