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
上座部佛教论藏阿毗达摩四念处和大乘第八识中阴身