力迫法

力迫法是公理集合論研究中構造擴充模型的一種重要方法，它是科恩在1963年證明連續統假設的獨立性（實際是證明連續統假設的否定與ZF公理的協調性）而創立的。它從一種可構成模型M和相應的形式語言L出發使用附加於L的一組形式符號作為待定的ω子集簇G，獲得L的一擴充語言L*，從而利用在M中建立的力迫關係確定非特殊的集合的集合簇G，然後從G出發，使用M的構造過程中確定的運算和相應的迭代過程獲得模型M(G)。科恩運用力迫法證明選擇公理和連續統假設的相對獨立性，接著人們利用力迫法證明了一大批重要的數學命題的協調性和獨立性問題。1965年沙拉維和斯考特等人又把這一方法和布爾值模型方法相結合獲得力迫法的較為方便的變形。