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

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

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