漢字・熟語検索サイト

強制法
[漢検レベル]
6級相当

[読み]
きょうせいほう

[意味]
数学の集合論において、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法のこと。