“连续统假设”在上述在康托的集合论的系统内,既不能被证明,也不能被证否。
相似题目
-
某服务器软件系统能够正确运行并得出计算结果,但存在"系统出错后不能在要求的时间内恢复到正常状态"和"对系统进行二次开发时总要超过半年的时间"两个问题,上述问题依次与质量属性中的()相关。
-
黑箱系统是指哪些既不能打开又不能从外部直接观察内部状态的系统。 根据上述定义,下列选项中属于黑箱系统的是()
-
在1、2、3、…、2010中,既不能被8整除,也不能被12整除的数有多少个?( )
-
在许可贸易中,许可方将技术和商标的使用权、专利产品的制造和销售权,转让给被许可方在一定的地域或期限内享用,许可方不能在该地域内将上述权利转让给第三者,同时许可方自己也丧失了上述权利,此种许可被称为()
-
第一个证明了广义的连续统假设的相容性定理的人是()
-
?连续统假设既不能被证明也不能被证否
-
现代数学的基础——集合论的创始人是康托尔
-
第一个证明了广义的连续统假设的相容性定理的人是
-
连续统假设已得到彻底解决
-
关于康托尔的集合论,下列说法错误的是________。
-
在康托的集合论中,“无穷势中可数无穷势是最小的势,连续统势使次小的势”,这一命题为真命题,已经被证明。()
-
实数集合是不可数的,这句话是康托说的
-
对欧几里得的第五公设,在“去掉第五公设的欧式几何系统”内,“三角形内角和为180°”这一命题也是既不能证明又不能证否的命题。()
-
康托1882年证明了“连续统假设”,后来证明他的证明确实正确。()
-
德国数学家、超穷集合论的创始人康托尔提出的著名的连续统假设是可以证明真伪的。
-
两条直线无限延长后一定相交,这一命题在数学界既不能被证明也不能被推翻。()
-
两条直线无限延长后一定相交,在数学界该命题既不能被证明也不能被推翻。
-
现代数学的基础――集合论的创始人是康托尔
-
1933年,哥德尔证明,把“连续统假设”加进该系统(集合论的ZF系统)中是:
-
?连续统假设出自康托的集合论
-
康托的集合论公理化消除了第三次数学危机
-
连续统假设被数学家()在 1900 年国际数学家大会上提出的 23 个问题中被列为第一个,因为它与数学基础的研究密不可分,十分重要。
-
矛盾律是传统逻辑基本规律之一,它通常被表述为 A 不是非 A,或 A 不能既是 B 又不是 B。要求在同一思维过程中,对同一对象不能同时作出两个矛盾的判断,即不能既肯定它,又否定它。根据上述定义,下列违反矛盾律的是:()。
-
1933年,经哥德尔证明,把“连续统假设”加紧集合论的ZF系统中是相容的,不会导致矛盾,得到了()。