判断题 任何一个无穷集合里面都含有自然数集合。

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

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