A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真
B.哥德尔不完全定理说存在着既不能证明其为真,也不能证明其为假的命题
C.借助哥德尔的编码程序,关于自然数每个可能的命题本身又可表达为一个数
D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题
下列语句中哪些是命题?在是命题的语句中,哪些是真命题?哪些是假命题?哪些命题的真值现在还不知道?
(1)2是素数吗?
(2)17只能被1和它本身整除.
(3)请别说话!
(4)2+3=8.
(5)真累呀!
(6)宇宙间只有地球上有生命.
(7)大偶数都是两个素数之和.
(8)x+2=7.
(9)喜马拉雅山最高.