如果将无意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是成立的.如果将有意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是不成立的.由于哥德尔不完备定理在一阶理论中既是成立的又是不成立的,所以哥德尔不完备定理就变成了一个不可判定的一阶理论.
科研之友
微信
新浪微博
Facebook
分享链接
