力迫定理

力迫定理(forcing theorem)力迫法基本定理.它给出了力迫关系与兼纳模型中的满足关系的对应关系.设M为ZF(C)系统的可传模型，(P，G>为M中的偏序集(即力迫概念)，G为M上的P兼纳集，M为M的兼纳扩充，则对任何力迫语言中的公式6(x‑x2，...，x，y ，M[G}I} 6(x‑xZ，...，x‑)，当且仅当(}pEG>p I} a(x‑xZ，...，xn>，这里x‑xZ } ... } x。为x‑x2，...，x。