王崎要跟冯落衣说的,自然就是内模型计划了。
内模型法和可结构类,差不多就是花与果的关系了。可结构类是花,内模型法是果。
但是,内模型法究竟是有致命缺陷的。
首先,它是完全建设在良基荟萃之上的。而算学也确实是存在只有非良基荟萃才气驾驭的部门。
而且,它也排除了循环,不包罗无穷降链。
另外,它也不能容纳包罗诸多大基数谱系,无论是之前界说的不行达基数,还...
王崎要跟冯落衣说的,自然就是内模型计划了。
内模型法和可结构类,差不多就是花与果的关系了。可结构类是花,内模型法是果。
但是,内模型法究竟是有致命缺陷的。
首先,它是完全建设在良基荟萃之上的。而算学也确实是存在只有非良基荟萃才气驾驭的部门。
而且,它也排除了循环,不包罗无穷降链。
另外,它也不能容纳包罗诸多大基数谱系,无论是之前界说的不行达基数,还...