力迫方法

力迫方法，力迫方法,lipo fangfa，方法,lipo,fangfa，[拼音]：lipo fangfa[外文]：forcing method一种构造公理系统的模型的方法。由P.J.科恩于1963年为证明连续统假设的否定 与ZF 相协调而提出，当时证明了 及等，其后D.S.斯科特及R.M.索洛韦发展了布尔值模型处理方法。J.R.休恩菲尔...