老友网A、相容性
B、独立性
C、完整性
D、完全性
答案：ABD
3【多选题】1899年,希尔伯特的《几何基础》中,有五组公理,即:关联公理、顺序公理、()。
A、合同公理
B、类似公理
C、平行公理
D、连续公理
答案：ACD
4【判断题】用合情推理能推理出“5个平面最多把空间分为几个部分”的问题。()
答案：×
数学文化（二十九）
1【单选题】从()世纪起,数学家就在寻找好“数学基础”。
A、16
B、17
C、18
D、19
答案：B
2【单选题】对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。
A、希尔伯特
B、罗素
C、庞加莱
D、根岑
答案：D
3【多选题】科学证明的过程包括(),它的结果可能被推翻。
A、假说
B、公理
C、观察
D、实验
答案：ACD
4【判断题】数学证明是依靠逻辑推理导出结论,定理已经证明就永远是对的,除非发现定理本身有误。()
答案：√
5【判断题】对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。()
答案：×
数学文化（三十）
1【单选题】下列国家中,古代没有形式系统的是()。
A、希腊
B、埃及
C、中国
D、罗马
答案：C
2【多选题】欧几里得第五公设既不能证明,也不能否定;但是,由此却诞生了非欧几何的新学科系统——()。
A、微分几何
B、射影几何
C、罗巴契夫斯基几何
D、黎曼几何
答案：CD
3【判断题】对欧几里得的第五公设,在“去掉第五公设的欧式几何系统”内,“三角形内角和为180°”这一命题也是既不能证明又不能证否的命题。()
答案：√
4【判断题】在康托的集合论中,“无穷势中可数无穷势是最小的势,连续统势使次小的势”,这一命题为真命题,已经被证明。()
答案：×
数学文化（三十一）
1【单选题】数学上的三次思想解放是由()引起的。
A、数学挑战
B、其他领域的发展
C、数学危机
D、政治原因
答案：C
2【单选题】下列选项中,被认为是世界上的第一位数学家的是()。
A、赵爽
B、泰勒斯
C、毕达哥拉斯
D、秦九韶
答案：B
3【判断题】没有现代数学就没有现代文化。()
答案：√
4【判断题】毕达哥拉斯学派名言“数,是世界的法则”中的“数”指的就是自然数。()
答案：×