力迫方法

  • 力迫方法

    [拼音]:lipo fangfa [外文]:forcing method 一种构造公理系统的模型的方法。由P.J.科恩于1963年为证明连续统假设的否定 与ZF 相协调而提出,当时证明了 及 等

    2024-05-23