在希尔伯特的“元数学”体系中，“算术相容性”是一个不可判定命题，但是1936年数学家（ ）证明了它
A: 根岑
B: 胡尔维茨
C: 马克劳林
D: 鲁道夫
E: 笛卡尔
F: 莱布尼兹
A: 根岑
B: 胡尔维茨
C: 马克劳林
D: 鲁道夫
E: 笛卡尔
F: 莱布尼兹
举一反三
- 在希尔伯特的“元数学”体系中,“算术相容性”是一个不可判定命题,但是1936年数学家()证明了它。 A: 根岑 B: 胡尔维茨 C: 马克劳林 D: 鲁道夫
- “算术相容性” 在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（ ）证明了它。 A: 鲁道夫 B: 根岑 C: 胡尔维茨 D: 马克劳林
- “算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它
- 在希尔伯特的“元数学”体系中，“算术相容性”是一个不可判定命题，但是1936年数学家（）证明了它。
- “算术相容性”，本来在希尔伯特的“元数学”体系中是一个不可判定命题，哪位科学家证明了此命题