中国大学MOOC: 德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提出的“算术公理的相容性 (the compatibility of the arithmetical axioms)”这一问题推动了可计算思想研究的深入。在希尔伯特所提出的这个问题中，一个算术公理系统是相容的需要满足三个特点。下面哪个描述不属于这三个特点之一（ ）
举一反三
- 德国著名数学家希尔伯特发表《数学问题》的著名演讲,提出数学界面临的难以解决的问题有多少个
- 连续统假设被数学家（）在 1900 年国际数学家大会上提出的 23 个问题中被列为第一个，因为它与数学基础的研究密不可分，十分重要。
- 德国著名数学家希尔伯特在巴黎第二届国际数学大会上提出了新世纪数学家应对努力解决的（）个数学问题，这些问题推动了20世纪数学的发展，产生了深远的影响
- 1900年，在巴黎举行的第2届国际数学家大会上，38岁的德国科学家大卫·希尔伯特做了题为《数学问题》的著名演讲，提出了新世纪所面临的 （ ）个问题。
- “算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它