Can you summarize the following document?
        
  1900年,大卫·希尔伯特以「连续统假设是否成立」作为「希尔伯特第一问题」。Kurt Godel和Paul Cohen确定了连续统假设在ZFC系统下,加上了选择公理,也不能证明或证否。 连续统假设简记CH。选择公理简记AC。

  要正式地列出这个猜想,我们需要一些定义:假如两个集合"S"与"T"之间存在着一个双射,我们会说这两个集合拥有相同的基数。直观的意思是在「"T"的每个元素只能配上仅仅一个"S"的元素,反之亦然」这个前提下,把"S"与"T"的元素拿出来配对是可能的。因此,集合{蕉,苹果,橙}与集合{黄,红,绿}拥有相同基数。  当情况去到如整数集或有理数集等无穷集的情况时,事件就变得复杂得多。当考虑所有有理数的集合时,有些初学者可能会直觉地认为有理数理所当然地多于整数,而有理数又显然少于实数,因此把连续统假设证否。但透过简单集合论的方法,我们能证明有理数集能与整数集形成一双射,因此有理集跟整数集有着一样的大小,而它们都被称为可列集。对角论证法则证明了整数集跟连续统(实数集)的基数并不一样。  连续统假设亦指出,实数集中每一个子集,要么和整数集有相同的基数,要么和实数集有相同的基数。

  康托尔相信连续统假设是对的,花了很多年尝试证明它,结果徒劳无功。它成为了希尔伯特那重要难题名单中的第一条,并在1900年巴黎的国际数学家大会上宣布此事。在那个时候,还没有公理化集合论的概念。  库尔特·哥德尔在1940年指出连续统假设不能在ZFC系统下证否,即使接受了选择公理为前提。保罗·寇恩在1963年证明了连续统假设同样不能在ZFC下被证明。因此,连续统假设「逻辑地独立于」ZFC。这些结果都是以ZFC的公设系统本身并不存在自相矛盾(相容性)为假设大前提,而这个大前提是被广泛接受为对的。  连续统假设并非被证明跟ZFC互相独立的第一个命题。哥德尔不完备定理一个立即的结论在1931年被发表,那是「『存在着一个正式命题表达ZFC的相容性』乃独立于ZFC」。有别于纯粹数学的,这个一致的命题乃是有着在数学之上的特性。连续统假设和选择公理乃是最先被证明跟ZF集合论独立的命题。在Paul Cohen在1960年代发展出力迫法以前,这些独立性的证明并没有完成。  连续统假设与数学分析、点集拓扑学和测度论中很多的命题有紧密关系。由于其独立性,很多这些范畴中的猜想也就被证明了其独立性。

  哥德尔相信连续统假设是错的,而他对于连续统假设相容性的证明,只表示了ZF系统的公理有缺陷。哥德尔是一个柏拉图主义者,因此独立于一个命题的可证性而宣称其正确或错误,对他来说并无问题。寇恩也倾向于反对连续统假设。  历史上,喜欢一个「丰富」而且「大」的全集的数学家倾向反对连续统假设;而喜欢一个「整齐」而且「可控制」的全集的数学家则倾向支持连续统假设。对于能推导出连续统假设的可建造公理,一直以来也有一些支持与反对的争论。最近,Matthew Foreman更指出本体论的多元主义对支持连续统假设有利(Maddy 1988, p. 500)。这是因为在各种模型里面,支持连续统假设的模型往往会存在更多集合。  另一个观点是对于集合的幼稚概念并不足够明确地使我们能分辨究竟连续统假设是对是错。这个观点被「连续统假设对于ZFC系统的独立性」所支持,由于这些公理足够建立集合与基数的基本特性。要反对这一观点,要是能展示一条既能被直观所支持、又能从证明或证否面解决连续统假设的新公理,那就很足够了。尽管可建造公理能解决连续统假设,但它比较起连续统假设的反题并不显得更直观地正确。  至少有另外两个可推导出连续统假设的公理被提出,即使它们目前还没有被数学社群所广泛接受。在1986年,Chris Freiling展示了一个反连续统假设的论点,透过显示连续统的反题跟Freiling对称公理──一个跟概率有关的命题──等价。Freiling相信这条公理「直观正确」,但其它人反对。一个由W. Hugh Woodin发展的困难论点同样反连续统假设,并自2000年开始获得了值得考虑的注意。Foreman (2003)并没有完全反对Woodin的论点但敦促小心谨慎。

  广义连续统假设(Generalized continuum hypothesis,简称GCH)是指: CH与GCH都独立于ZFC,不过Sierpiński证明了ZF+GCH可以推导出选择公理,换句话说,不存在ZF+GCH但AC不成立的公设系统。  任何的无限集合A和B,假如存在一个由A到B的单射,那就存在一个由A的子集到B的子集的单射。因此对于任何有限的序数A和B, 假如A和B是有限集合,那我们可以得到更强的不等式: GCH意味着这个严格的不等式对无限序数和有限序数都成立。
在数学中,连续统假设(;英语:Continuum hypothesis,简称CH)是一个猜想,也是希尔伯特的23个问题的第一题,由康托尔提出,关于无穷集的可能大小。其为: