P. Cohen (1963, 1964, 1966) 發明的一種集合論技術，用於證明選擇公理和連續統假設在策梅洛-弗蘭克爾集合論中彼此獨立。
力迫法
另請參閱
選擇公理, 連續統假設, 集合論, 策梅洛-弗蘭克爾集合論使用 探索
參考文獻
Cohen, P. J. “連續統假設的獨立性。”美國國家科學院院刊 50, 1143-1148, 1963。Cohen, P. J. “連續統假設的獨立性。II。”美國國家科學院院刊 51, 105-110, 1964。Cohen, P. J. 集合論與連續統假設。 紐約：W. A. Benjamin, 1966。Todorchevich, S. 和 Farah, I. 力迫法的一些應用。 莫斯科：Yenisei, 1995。在 中被引用
力迫法請引用為
Weisstein, Eric W. “力迫法。” 來自 Web 資源。 https://mathworld.tw/Forcing.html