哥德尔不完备定理的不可判定性  

作　　者：王海东 

机构地区：[1]天津市北方调查策划事务所,天津300050

出　　处：《数学学习与研究》2021年第18期152-153,共2页

摘　　要：如果将无意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是成立的.如果将有意义对角化语句视为被证明的对角化语句,哥德尔不完备定理在一阶理论中就是不成立的.由于哥德尔不完备定理在一阶理论中既是成立的又是不成立的,所以哥德尔不完备定理就变成了一个不可判定的一阶理论.

关 键 词：哥德尔不完备定理 哥德尔完备性定理 哥德尔对角化语句构造定理 

分 类 号：O141[理学—数学]