单项选择题
A.自然统势 B.循环统势 C.连续统势
“算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。A.鲁道夫B...
单项选择题“算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。
A.鲁道夫 B.根岑 C.胡尔维茨 D.马克劳林
美国数学家（）于1980年出版了著作《数学：确定性的丧失》。A.诺伯特·维纳B.约翰·福布斯·纳什C.F·克莱...
单项选择题美国数学家（）于1980年出版了著作《数学：确定性的丧失》。
A.诺伯特·维纳 B.约翰·福布斯·纳什 C.F·克莱因 D.M·克莱因
哥德尔定理，证明了公理化体系对逻辑的三个基本要求存在无法同时满足的问题。
判断题哥德尔定理，证明了公理化体系对逻辑的三个基本要求存在无法同时满足的问题。
