※ 引述《NTUEE2CS (電機轉資工)》之銘言：
: 小學二年級也能看懂的哥德爾證明
: https://www.bilibili.com/video/BV19u4y1D7GT/
: 我看懂了 各位也看懂了嗎
: 我早就覺得希爾伯特菜了
: 重點是這視頻全站排行也太高了吧
: 上b站學習的人真有這麼多？
1.
哥德爾命題 sub(n,n,17) ：
「哥德爾命題 sub(n,n,17) 無法證明為真」。
2.
假設哥德爾命題 sub(n,n,17) 為假。
3.
哥德爾命題 sub(n,n,17) 可以證明為真。
4.
哥德爾命題 sub(n,n,17) 是真命題。
5.
「哥德爾命題 sub(n,n,17) 無法證明為真」為真。
6.
由於假設哥德爾命題 sub(n,n,17) 為假會得到哥德爾命題 sub(n,n,17) 為真的結論，
假設和結論互相矛盾，
因此哥德爾命題 sub(n,n,17) 只能是真命題。
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
根據上座部佛教論藏阿毗達摩數學是意識想像出來的概念，
數學概念沒有辦法自動判斷真假自動判斷是非對錯，
沒辦法用數學公理和數學公式自動判斷所有理論的真假和是非對錯，
只有具有智慧的意識才能判斷真假判斷是非對錯。
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
https://i.imgur.com/Q8g4QP2.png
https://i.imgur.com/kVwhqrQ.png
https://i.imgur.com/n5IyX3J.png
http://mbscnn.org/NewsList.aspx?CLASS=221
上座部佛教馬哈希尊者帝釋所問經講記77頁─78頁拆穿假佛教大乘妙法蓮華經的騙局。
帝釋所問經講記78頁說明假佛教大乘西方極樂世界是外道邪見（常見）假裝佛教。
https://imgur.com/PRRGW5h
馬哈希尊者《毗婆舍那講記(含法的醫療)》說明如何修四念處增加智慧斷除所有煩惱。
要更了解上座部佛教論藏阿毗達摩、四念處和假佛教大乘的第八識、中陰身可以參考：
https://www.ptt.cc/bbs/Diary/M.1695302766.A.99A.html
上座部佛教論藏阿毗達摩四念處和大乘第八識中陰身

sub()這函式是啥意思?