我Cubical TT修炼范畴论内功可以继承布尔巴基之名，外功可通达一切可计算数学，一切数学的证明自动检验（形式化）和整个计算机科学，你个L公理力迫公理也敢上门来和我斗实践需求的阵？
第三类证据：
·高度（或序数）最大化。宇宙V是尽可能高的，即序数序列是尽可能长的。
·宽度（或幂集）最大化。宇宙V尽可能地宽（或厚），即每个集合的幂集尽可能地大。
·如果M是宽度最大的，那么M的一个“增厚”性质在M的某个内部模型中也必须成立。在一阶属性的情况下，这被称为内模型假设，或者IMH(Inner Model Hypothesis)。
完成主义和潜在主义[3]
·幂集迭代的结果有一个 "极限"，还是总是可以进一步扩展到更长的迭代？前者称之为高度完成主义。反之为高度潜在主义。
·幂集运算的结果是确定的还是总是有可能通过增加更多的子集来进一步扩展它？前者称之为宽度完成主义。反之为宽度潜在主义。
·玄宇宙计划将遵循高度潜在主义和宽度完成主义：尽管我们有一个明确而连贯的方式通过迭代过程生成序数，但目前还没有类似的迭代过程来生成越来越丰富的幂集。
为啥宽度潜在主义是不太合理的？考虑这样的公理：
·任何序数都是潜在的可数：对于V的任何序数α，我们可以将V增厚到α是可数的内模型M。
激进潜在主义：高度潜在论 + 宽度潜在论
·即使只是宽度潜在主义（允许宇宙被加厚），也会迫使我们进入高度潜在主义：如果我们继续加厚以使V的每个序数都是可数的，那么在Ord(V)步骤之后，我们也被迫加长以达到一个满足幂集公理的宇宙 M0 。在那个宇宙中，原来的V看起来是可数的。但是，我们可以用这个新的宇宙 M1 重复这个过程，直到 M0 也被看作是可数的。之所以这满足了高度潜在主义，是因为我们不能以所有宇宙的联合来结束这个过程，否则这将不是ZFC的模型（幂集公理将失效），因此必须在高度上延长。
最大化协议：
本协议旨在将高度和宽度最大化的研究，分成三个阶段。
1.将序数最大化（高度最大化）。
2.在实现了序数最大化之后，再实现基数最大化。
3.在对序数和基数进行最大化之后，对幂集进行最大化（宽度最大化）。
阶段1通过#-生成完成，阶段3通过类-IMH公理完成；对于基数最大化，我们希望对于一切基数 κ,κ+ 尽可能大。
—————————
【玄宇宙计划的已知结论（已被证明一致）】
[三阶反射公理是不一致的[3]。但我们可以换个方式定义α阶反射原理。]
扩展反射公理(ERA, Extended Reflection Axiom)：
·如果V对ERA成立，那么存在一个ZFC的模型V*(称之为V的延展)，满足P是一阶公式，P(A)在V*中成立，A是V的子类，存在V上的序数 α＜β ，
使得 Vβ?P(A∩Vα) .
到此，使用ERA，对于V*上的所有序数α，都可以描述V的α-反射。
#-生成 (#-Generation)：
#-生成断言存在一种特殊的集合，叫做a# (sharp)，通过迭代“生成”V。一个最佳的反射原理产生了，因为这个迭代也为V产生了一个封闭的无界的不可知类，足以见证任何显然成立（V=L之内）的反射原理。至关重要的是，生成V的#不能是V的一个元素，否则这种最优性就不可能实现。
首先，设想V可以被看作是一个初等宇宙链 Vκi:i＜Ord 的最后一步，我们设定 V=VκOrd 。我们可以继续构建这个 "超越 "V本身的链条，产生一个向上的初等宇宙链 V=VκOrd?VκOrd+1?VκOrd+2?... .
即便允许V 、Ord 这样的对象是完成的对象，可以使用，但让人难以理解的是“Ord + 1”、“ VOrd 之外”这样的概念。毕竟，除了它们没有良好的定义之外，我们还很难想象 V 之外的所谓“类似集合的对象”是什么样。
V是不可辨认生成(indiscernibly-generated)的，如果：
1.有一个长度为 Ord 的连续序列 κ0＜κ1＜... ，使得 κOrd=Ord ，并且有换元初等嵌入 πi,j:V→V ，其中 πi,j 有临界点 κi 并 sends κi to κj . (没理解，不知道怎么翻译)
2.对于任何 i≤j ，V的任何元素在V中都是可以被 πi,j 和 {κ?:i≤?＜j} 内的元素一阶定义。
这章没有结束，请点击下一页继续阅读！