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個問題的第一題,由康托爾提出,關於無窮集的可能大小。其為: