強制法

数学の集合論における強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。

この神経はここで途切れています。