[其他] 皮亞諾公理

看板Math作者 (Ar藤)時間10年前 (2013/09/03 21:45), 編輯推噓3(3推 0噓 6→)
留言9則, 3人參與, 最新討論串1/2 (看更多)
(小弟非數學系的) 最近看到皮亞諾公設 http://zh.wikipedia.org/wiki/%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86 有個問題想請教 如果把自然數想成骨牌 看起來第5條公設可以排除 2串平行骨牌的情況 但不知道第5條公設中所說的"任意關於自然數的命題…" 這個命題要怎麼下才能排除掉這個情況?? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.42.58.90
推
09/03 22:23, , 1F
我猜是"1以外的自然數都是後繼數"
09/03 22:23, 1F
→
09/03 23:26, , 2F
我覺得命題可能是以P(x)的形式出現 要有個變數可代
09/03 23:26, 2F
→
09/03 23:28, , 3F
如果是"1以外的自然數都是後繼數" 看起來像是結果
09/03 23:28, 3F
→
09/03 23:29, , 4F
而且就算成立也無法擋掉 1串骨牌加上1串環狀骨牌
09/03 23:29, 4F
推
09/03 23:33, , 5F
樓上這個被公設三擋掉了吧?
09/03 23:33, 5F
→
09/03 23:35, , 6F
沒有吧 3是擋掉雙線道轉單線道吧
09/03 23:35, 6F
→
09/03 23:36, , 7F
我說的一串骨牌和一串環狀骨牌 兩個是分開的
09/03 23:36, 7F
推
09/04 00:21, , 8F
1做有限次(包含不做)"後繼"後，得到自然數n
09/04 00:21, 8F
→
09/04 00:54, , 9F
哇 對耶！ 我完全沒想到 冏
09/04 00:54, 9F
‣ 更多 Arton0306 的文章
文章代碼(AID): #1I9UWJSH (Math)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共2篇)
‣ 更多 Arton0306 的文章
文章代碼(AID): #1I9UWJSH (Math)