力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续统假设的独立性（实际是证明连续统假设的否定与ZF公理的协调性）而创立的。它从一种可构成模型M和相应的形式语言L出发使用附加于L的一组形式符号作为待定的ω子集簇G，获得L的一扩充语言L*，从而利用在M中建立的力迫关系确定非特殊的集合的集合簇G，然后从G出发，使用M的构造过程中确定的运算和相应的迭代过程获得模型M(G)。科恩运用力迫法证明选择公理和连续统假设的相对独立性，接着人们利用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维和斯考特等人又把这一方法和布尔值模型方法相结合获得力迫法的较为方便的...