強制法
5. p ⊩ P {\displaystyle \Vdash _{P}} ∀ x f とは、任意の名前 a に対して p ⊩ P {\displaystyle \Vdash _{P}} f(a) となること、ここで f(a) は f に出現する自由変数 x を全て a で置き換えた結果の式である。
1–5 の p は任意の条件であり、1,2 の a,b は任意の名前であり、3–5 の f,g は任意の式である。
この定義は V で働くもので可算推移モデル M の中ではそのままでは働かない。 しかし、次の命題は定義可能性を与えている。:
p ⊩ M , P {\displaystyle \Vdash _{M,P}} f は M ⊨ p ⊩ P {\displaystyle \Vdash _{P}} f となることと同値である。
(混乱が無ければ単に ⊩ {\displaystyle \Vdash } とも書く。)
G を可算推移モデル M や全宇宙 V に付け加える方法のどちらのスタイルもよく使われてきた。 強制法の"内部"を見る定義を使うアプローチで集合,クラスモデルが作られることに言及しない方法は珍しく、 これはコーエンの元々の方法で、洗練,研究されたことによってこれはブール代数値解析の方法になった。