迭代力迫法(method of iterated forcing)是力迫法的一种推广，是重复进行力迫构造过程，以获得具有某种特定性质的兼纳模型的方法。

设M为ZF(C)系统的模型，对M重复进行a次兼纳扩充过程，得到一列模型:M=MocM,c...风 ... c Ma使得Mr+ _从CG,G:为峡上某个偏序集P、的兼纳集.上列过程称为a次迭代力迫.当a=2时，称之为两步迭代力迫，当a为极限序数时，称之为极限迭代力迫.对两步迭代力迫，最自然的方法是，首先通过基模型M中的一个力迫概念尸。及尸。的一个兼纳子集G，获得兼纳扩充Mi = Mo CGo ，再选择MCGo上的力迫概念P，及P的一个兼纳子集G‑以获得兼纳扩充姚=MCGo=Mo仁Go仁G,，且使M:具有所需的力迫性质.有限次迭代力迫过程也可仿此方法进行.然而这种方法不能推广到极限迭代的情形，因为当a为极限序数时，例如a=。时，Ma很难给出.如果取

则Ma一般不具有兼纳模型的性质，例如{Gp}月＜a一般不属于Ma.一般的迭代力迫法是在基模型M中寻找一列偏序集{Q:Ga}，使p=62o WQ, W ... ,Q .... c.62e，式中二。表示两个偏序集的完备嵌人，则对每个Q。的兼纳子集G。存在一列兼纳集(G:＜a)，使G为Q:的兼纳子集，且

这就是通过构造偏序集的完备嵌人序列实现迭代力迫过程.迭代力迫法最初由以色列学者索洛韦(Solovay,R. M.)与特纳鲍姆(Tennenbaum, S.)于1971年在证明MA+ CH与Suslin假设的相容性时所发明，现在已成为一种强有力的相容性与独立性证明方法.