ポール・コーエンは強制法と呼ばれる新しい手法を用いて連続体仮説が成り立たないモデルを構成し「ZFCから連続体仮説を証明できない」ことを証明した。
保罗·寇恩的一些工作是寻找一个ZFC的模型，使得选择公理或连续统假设失效，在这过程中他发明了力迫。