数学的核心悖论：哥德尔不完备定理-数学的核心悖论：哥德尔不完备定理｜TEDEd高清中英双语CC字幕

热门回复：

• 马来狅人:1.前提：数学论述必定是正确或错误的，正确的能被证明 2.godel的论述：命题：命题本身不能被证明 命题错误：命题能被证明，即命题正确 3.矛盾意味着godel的论述只能是正确的，有不能被证明的正确命题
• tony_xiong:我这学期选的数理逻辑课就要大致讲一下Godel不完全性定理的证明。 另外不是所有公理系统都存在不可证明的命题，只有包含数论的公理系统才属于定理的内容……逻辑本身是有完全性的
• LF2の沙包酱:我之前一直觉得这件事挺玄乎…说到底无法被证明的命题到现在也不就自我指涉这一种么…无非就是无法证明一个无法证明的事，或者我说的这句话是错的这个命题无法被证明正误…简直一席话如一席话
• 狄波_:与苏格拉底的“我唯一知道的是我的无知”有异曲同工之妙[doge]
• BUG保护协会:怎么证明逻辑证明方法本身是对的