哥德尔第一不完备定理:“任何一个包含初等数论理论和一阶谓词逻辑的自洽的非递归形式系统中必然包含不可证真也不可证伪的命题”
如果题主看懂了这个定理在说啥——这里的“看懂了”至少要求读者了解“什么是形式系统”、“自洽的定义”、“非递归的定义”、“如果系统是递归的会产生啥问题”、“形式系统包含一阶谓词逻辑是啥意思”、“形式系统包含初等数论理论是啥意思”、“什么叫可证真”、“什么叫可证伪”——那么题主大概率不会问出这个问题了。
哥德尔第一不完备性定理只不过说明了,自然数语言本身很“弱”罢了,向“逻辑的正确性”衍生的解读完全是没看懂定理内容的自嗨。
思而不学则殆可能说的就是这个吧。
———————————————————————————
下面有回答指出我的回答有严重的错误,放一下链接供大家参考。