“算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。

美国数学家（）于1980年出版了著作《数学：确定性的丧失》。A.诺伯特·维纳B.约翰·福布斯·纳什C.F·克莱...

单项选择题美国数学家（）于1980年出版了著作《数学：确定性的丧失》。

哥德尔定理，证明了公理化体系对逻辑的三个基本要求存在无法同时满足的问题。

判断题哥德尔定理，证明了公理化体系对逻辑的三个基本要求存在无法同时满足的问题。

在数学中，只要证明的过程是正确的，结论就不会被推翻；科学证明也是如此。

判断题在数学中，只要证明的过程是正确的，结论就不会被推翻；科学证明也是如此。