连续统假设
连续统假设（continuum hypothesis），数学上关于连续统势的假设。常记作CH。通常称实数集即直线上点的集合为连续统，而把连续统的势（大小）记作C。2000多年来，人们一直认为任意两个无穷集都一样大。直到1847年，G.康托尔证明：任何一个集合的幂集（即它的一切子集构成的集合）的势都大于这个集合的势，人们才认识到无穷集合也可以比较大小。自然数集是最小的无穷集合，自然数集的势记作。康托尔证明连续统势等于自然数集的幂集的势。是否存在一个无穷集合，它的势比自然数集的势大，比连续统势小？这个问题被称为连续统问题。康托尔猜想这个问题的解答是否定的，即连续统势是比自然数集的势大的势中最小的一个无穷势，记作1。这个猜想就称为连续统假设。1938年，K.哥德尔证明了CH对ZF公理系统（见公理集合论)是协调的，1963年，P.J.科恩是不可能判定真假的。证明CH对ZF公理系统是独立的。这样，在ZF公理系统中，CH是不可能判定真假的。
连续统问题在希尔伯特1900年提出的数学问题中位居第一。其后的许多数学家都曾致力于这一著名难题的研究，但在相当长的一段时期内，没有进展。因而促使人们怀疑这一问题在数学的现状下是无法解决的。
哥德尔和科恩的成果被誉为20世纪数学基础研究中的两个重大成就。科恩创立的力迫法已在集合论中得到广泛的应用。运用这一方法，人们已经证明了一大批数学命题的独立性。
