首页
在康托的集合论中,“无穷势中可数无穷势是最小的势,连续统势使次小的势”,这一命题为真命题,已经被证明。()
精华吧
→
答案
→
超星尔雅学习通未分类
在康托的集合论中,“无穷势中可数无穷势是最小的势,连续统势使次小的势”,这一命题为真命题,已经被证明。()
A.正确
B.错误
正确答案:B
Tag:
数学文化
命题
集合论
时间:2021-03-31 16:20:20
上一篇:
对欧几里得的第五公设,在“去掉第五公设的欧式几何系统”内,“三角形内角和为180°”这一命题也是既不能证明又不能证否的命题。()
下一篇:
数学上的三次思想解放是由()引起的。
相关答案
1.
欧几里得第五公设既不能证明,也不能否定;但是,由此却诞生了非欧几何的新学科系统——()。
2.
下列国家中,古代没有形式系统的是()。
3.
对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。()
4.
数学证明是依靠逻辑推理导出结论,定理已经证明就永远是对的,除非发现定理本身有误。()
5.
科学证明的过程包括(),它的结果可能被推翻。
6.
对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。
7.
从()世纪起,数学家就在寻找好“数学基础”。
8.
用合情推理能推理出“5个平面最多把空间分为几个部分”的问题。()
9.
1899年,希尔伯特的《几何基础》中,有五组公理,即:关联公理、顺序公理、()。
10.
形式的公理化方法在逻辑上的要求,是满足()。
热门答案
1.
在公理化思想中,A与非A都能导出叫做“不相容”,A与非A都不能导出叫做()。
2.
孤立的问题有时难于理解,而解决系列问题有时比解决孤立问题好入手。()
3.
n条直线“处于一般位置”的要求可以说是:任何两条直线都相交;任何三条直线都不共点。()
4.
5个平面最多把平面分为几个部分?()
5.
()和他学生一起将“单因子构件凑成法”发展成“孙子——华原则”。
6.
微积分和几何几乎不能应用到实际中。()
7.
插值公式的实质就是用一个连续的函数去拟合离散的测量结果。()
8.
在文化大革命时期,中国轧钢机的涡轮和蜗杆来自()。
9.
一种推理,不是证明,它无法保证已知相同的属性与推出的属性之间有必然的联系,这种推理被称为()。
10.
{Q;+},{N;+}都属于抽象群。()