https://www.bilibili.com/video/BV19u4y1D7GT/
哥德爾第一不完全性定理（Gödel's First Incompleteness Theorems）
哥德爾提出一個數學命題這個數學命題的內容就是在描述自己無法被證明為真。
1.
哥德爾命題 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
要更了解上座部佛教論藏阿毗達摩、四念處和假佛教大乘的第八識、中陰身可以參考：
https://www.ptt.cc/bbs/Diary/M.1695302766.A.99A.html
上座部佛教論藏阿毗達摩四念處和大乘第八識中陰身