第八卷 见证 第一百二十二章 养狼计划

王崎跟冯落衣说的,就是内模型计划了。

内模型法构造类,差不就是花与果的关系了。构造类是花,内模型法是果。

但是,内模型法毕竟是有致命缺陷的。

首先,它是完全建立在良基集合的。算确实是存在有非良基集合才驾驭的部分。

且,它排除了循环,不包含无穷降链。

另外,它不容纳包括诸基数谱系,无论是前定义的不达基数,是非常但是定义非常扭曲直观比较诡异的武丁基数(,在边的宇宙或许叫做苏君宇基数或者直接就叫王琦基数了),是延展系统基数的典范——超紧致基数,不在构造类的范围内。

基数处有很。前说,引入基数直接证明任何构造的实数集合不引分球悖论,并且不需取消选择函数;引入基数证明二阶算术的完备,等等。

筑基派的理论体系展,必须有基数才行。

但内模型并非一无是处。

连续统假设,其实算是一三阶算术的强力问题了。基数,恰解决二阶算术的完备。

使内模型就完解决。

所,了基数,抛弃内模型,是捡了芝麻丢了西瓜的蠢。

所,王崎就提了一法……(内容加载失败!)

(ò﹏ò)

抱歉,章节内容不支持该浏览器显示~

【为了使用完整的阅读功能】

请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读!

谢谢!!!

第一百二十一章 弟子与内模型计划目录+书签-->