力迫

在數學學科集合論中 ， 力迫是保羅 · 寇恩 （ Paul J. Cohen ） 發明的一種技術 ， 用來證明與策梅洛 - 弗蘭克爾公理有關的一致性和獨立性結果 。 它在1962年首次被用來證明連續統假設和選擇公理對策梅洛 - 弗蘭克爾集合論的獨立性 。 實際上在寇恩正式引入力迫法前 ， 它已經被廣泛地應用於遞歸論中 。 寇恩的力迫法最初是建立在分歧分層 （ ramified hierarchy ） 上 ， 難於理解 。 1960年代通過 （ Solovay ） 與斯科特 （ Scott ） 等人的努力力迫法被相當程度的重做和簡化 。