章节出错了,点此刷新,刷新后小编会在两分钟内校正章节内容,请稍后再试。
我们zfc嫁在类型论的树中，引函数和替集关，的作永远失了对无穷和选择的掌控，却造了数个类型复的拓扑空间。这是一颗的之树了，会受到哥德尔不完备定的影响吗？延伸出的类型论宇宙网络是什样子的？
说，类型论用“U∞:U∞”替了宇宙V的存在，用保守的“U0:U1:U2……”框架让宇宙上可以是累积的，后我们了更为超验的非标准类型界说，延伸的类型论宇宙甚至可能何一种集论宇宙要大(包括整个集论多宇宙观)。我们混的唾液赋予了免受罗素悖论的舛讹质，让类型宇宙能示在集论中无法达的非谓多态。
用木棍敲打枝头，微的集论宇宙生开始惊恐的迁移。们不己是侵，们和他不受到集论统牵的住民开始为生存搏斗。瞧见，类型宇宙的算技术截不同。这是类型论和集论的战争，一个，多个，无数个对领地支配权的争夺。