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

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

单项选择题 无论是“说谎者悖论”，还是哥德尔的模仿，问题的核心都指向了（）。