[其他] 為甚麼 1+1=2 要證明

[china2025 ()]

我不曉得有沒有po錯版

因為也許它是個哲學問題

但是我看它像是數學

所以來數學版問一下~

就是

1+1=2 為甚麼需要證明呢

謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.168.69.5 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1576537352.A.45E.html
→ yoyoting5566: 這樣四則運算都可以不用提心吊膽？
推 pbjojo      : 因為1+1不見得是2阿
→ wohtp       : 這是2的定義，不需要證明
→ APM99       : 定義不用證明
→ kuromu      : 所以是把+1當某種運算(例如稱作f[ ])
→ kuromu      : 而2被定義成f[1]?
推 s035280236  : 應該是跟機率三大公設一樣 說他對就是對 不需證明
推 wayne0824   : 皮雅諾公設
→ aikotoba    : 我記得是公理誒
推 znmkhxrw    : 欸 如果是從皮亞諾公設出發那就是要證明吧
→ znmkhxrw    : 定義了1, 2, + 然後證明1+1=2
→ wohtp       : 不是吧，皮亞諾定義的是1和+，然後把1+1叫做2
推 Vulpix      : 2不是{{},{{}}}嗎？
推 suhorng     : 不是把 1+1 叫做二, 是把 1 的 successor 叫做 2
→ suhorng     : 然後可以算出 1 + 1 = (1 的 successor)
→ suhorng     : 更清晰的說: 2 是 S1 的簡寫, 3 是 S(S1) 的簡寫 ..
→ suhorng     : 然後 1 + y = Sy 以及 (Sx) + y = S(x + y)
推 DreamYeh    : 其實本版第一篇就是1+1=2的證明