您的位置:首页 > 力迫方
  • 力迫方法

    力迫方法

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

    2023-12-27 4487 百科大全