单项选择题 实数的“势”称为（）。

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

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