25、下列说法中，正确的有：

A.哥德尔不完全性定理是最具重要意义的数学定理之一

B.哥德尔不完全性定理是属于某种否定性的结果

C.数学是绝对真理的化身

D.哥德尔不完全性定理是在哥德尔35岁时发表的

E.哥德尔不完全性定理发表的当年就受到数学家的广泛重视

F.哥德尔不完全性定理是哥德尔与另一位数学家联名发表的

A.哥德尔定理表明：相容的体系一定是不完全的

B.哥德尔定理表明：相容的体系一定含有“不可判定命题”

C.哥德尔是奥地利数学家

D.哥德尔定理表明：相容的体系一定是不独立的

E.公理化体系的相容性、独立性、完全性，有时是可以同时满足的

F.哥德尔不完全性定理并未得到严格的证明

A.不可判定命题通过扩大形式系统是可能证明或者证否的

B.判断一个命题的真伪，除了数学的方法外，还可以有非数学的方法

C.对于不可判定命题，数学家均无能为力

D.判断一个命题的真伪，只有数学推理的方法

E.哥德尔不完全性定理让许多数学家失去信心

F.哥德尔不完全性定理与公理化系统的思路是一致的

A.黎曼积分；

B.形式系统；

C.希尔伯特问题；

D.希尔伯特纲领。

A.人类对真理的认识常常是有局限性的

B.数学既研究客观世界，也研究人类自身的理性思维

C.哥德尔不完全性定理不是失败的记录，而是胜利的记录

D.人类对真理的认识是没有局限性的

E.数学只研究客观世界，不研究人类的思维

F.公理化方法从一开始就是人类的错误

A.哥德尔不完全性定理把命题“正确”与“可证明”区别开来了

B.“可证明”的命题一定“正确”

C.“正确”的命题不一定“可证明”

D.“正确”的命题一定“可证明”

E.“不可证明”的命题一定“不正确”

F.命题“正确”与命题“可证明”是一回事

A.哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真；

B.哥德尔不完全定理说存在着既不能证明其为真，也不能证明其为假的命题；

C.借助哥德尔的编码程序，关于自然数每个可能的命题本身又可表达为一个数；

D.哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题。

A.不完全性定理

B.有效性定理

C.可靠性定理

D.一致性定理

A.对于《数学：确定性的丧失》一书的书名，不少数学家说“实在不敢苟同”

B.哥德尔不完全性定理本身的涵义是非常确定的

C.《数学：确定性的丧失》是不值得一看的书

D.《数学：确定性的丧失》一书是德国数学家写的

E.《数学：确定性的丧失》一书目前尚无中译本

F.《数学：确定性的丧失》一书的主要内容是罗素悖论