力迫 在数学学科集合论中力迫是保罗寇恩Paul J Cohen发明的一种技术用来证明与策梅洛弗兰克尔公理有关的一致性和独立性结果它在年首次被用来证明连续统假设和选择公理对策梅洛弗兰克尔集合论的独立性实际上在寇恩正式引入力迫法前它已经被广泛地应用于递归论中寇恩的力迫法最初是建立在分歧分层ramified hierarchy上难于理解年代通过梭羅維英语Robert M SolovaySolovay与斯科特Scott等人的努力力迫法被相当程度的重做和简化