強制法

ウィキペディア

強制法

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 06:35 UTC 版)

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