집합론
집합론에서, 강제법(強制法, )은 특정한 조건을 만족시키는 집합론 모형을 정의하는 방법이다.