推 silvermare :我猜是"1以外的自然數都是後繼數" 09/03 22:23
→ Arton0306 :我覺得命題可能是以P(x)的形式出現 要有個變數可代 09/03 23:26
→ Arton0306 :如果是"1以外的自然數都是後繼數" 看起來像是結果 09/03 23:28
→ Arton0306 :而且就算成立也無法擋掉 1串骨牌加上1串環狀骨牌 09/03 23:29
推 LPH66 :樓上這個被公設三擋掉了吧? 09/03 23:33
→ Arton0306 :沒有吧 3是擋掉雙線道轉單線道吧 09/03 23:35
→ Arton0306 :我說的一串骨牌和一串環狀骨牌 兩個是分開的 09/03 23:36
推 silvermare :1做有限次(包含不做)"後繼"後，得到自然數n 09/04 00:21
→ Arton0306 :哇 對耶！ 我完全沒想到 冏 09/04 00:54