给定公理体系,是否存在命题,不能被证实,不能被证伪,也不能证明其独立性(既不能证明也不能证伪)?( 二 )



■网友
你问的不就是哥德尔不完全性定理1和2的内容吗?https://zh.wikipedia.org/wiki/%E5%93%A5%E5%BE%B7%E5%B0%94%E4%B8%8D%E5%AE%8C%E5%A4%87%E5%AE%9A%E7%90%86
■网友
歌德尔在What is Cantor\u0026#39;s continuum hypothesis中的确考虑了对某个特殊数学命题(CH)先天的第四种可能性,即这个命题是无意义的。


推荐阅读