王崎跟冯落衣说的,就是内模型计划了。
内模型法构造类,差不就是花与果的关系了。构造类是花,内模型法是果。
但是,内模型法毕竟是有致命缺陷的。
首先,它是完全建立在良基集合的。算确实是存在有非良基集合才驾驭的部分。
且,它排除了循环,不包含无穷降链。
另外,它不容纳包括诸基数谱系,无论是前定义的不达基数,是非常但是定义非常扭曲直观比较诡异的武丁基数(,在边的宇宙或许叫做苏君宇基数或者直接就叫王琦基数了),是延展系统基数的典范——超紧致基数,不在构造类的范围内。
基数处有很。前说,引入基数直接证明任何构造的实数集合不引分球悖论,并且不需取消选择函数;引入基数证明二阶算术的完备,等等。
筑基派的理论体系展,必须有基数才行。
但内模型并非一无是处。
连续统假设,其实算是一三阶算术的强力问题了。基数,恰解决二阶算术的完备。
使内模型就完解决。
所,了基数,抛弃内模型,是捡了芝麻丢了西瓜的蠢。
所,王崎就提了一法……(内容加载失败!)
(ò﹏ò)
抱歉,章节内容不支持该浏览器显示~
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!
谢谢!!!