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

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

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