[其他] 數學歸納法的證明

[george328282 (yyyvkkz)]

最近被離散荼毒

有大大可以解說如何證明數學歸納法是對的嗎

完全沒有頭緒


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.218.51.196
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1541510167.A.F89.html
→ Ricestone   : ？前提是什麼？ 不然數學歸納法本身屬於公設之一
→ george328282: 是因為他是公設之一所以無需證明嗎
→ Ricestone   : 如果它是被選的第五公設，就不用證啊
→ Ricestone   : 不過會這樣問，應該是用ZFC證induction吧...
→ ERT312      : prove by N being well ordered?
→ george328282: 如果用反證法呢
→ ERT312      : 就是用反證法 不會很難
→ george328282: 會證了！感謝各位