自作解说
(注意到，这里的集合论术语，例如各种基数序数的名称，并不仅仅是在指集合论中的对象，实际上，由于实无穷的存在，因此集合论的语言在此处只做一种导引)
Ps：以下仅为文字效果/小说设定，不会特别考虑学术上的严谨性与有效性，毕竟这里还没有过实无穷
Mathematics Dream："数学梦"，发源于泰格马克第四类多重宇宙猜想，如果一种支配了现实的数学结构(实际上，外部实在未必仅仅是数学的)存在，那么它将贯穿一切语义-真层级，并且对它进行的模拟在其之下形成零测度
Universal Logics Cosmos："万有逻各斯剧场"，截止目前，每一种可被形式化的逻辑均可将其代数结构嵌入希尔伯特空间中，包括一般的非标准逻辑，如直觉逻辑，模糊逻辑，模态逻辑，道义逻辑，时序逻辑，次协调逻辑，卢卡西维奇的无限多值逻辑，模糊直觉逻辑，似直觉否定，强偏量子逻辑，类线性QMV，正交模量子逻辑，冯诺依曼类型的正交模结构等等，都是可为希尔伯特空间决定的众多逻辑的子逻辑
Epsilon Zero：第一个超限原始递归封闭点，也就是满足ω^α＝α的最小α
Feferman--Schütte Zero：第一个超限非直谓点，被称为“不使用自指就无法触及的超限”，这是因为在使用分支类型论扩展原始算术时，类型-Γ0算术的证明论序数正好为Γ0(递归理论的证明论序数是通过与其等长的可判定谓词超限归纳可证一致性的最小序数，原始算术的PTO是ε0，使用一阶谓词扩展的类型1算术的PTO为εε0等等)
PTO Of Stability：几乎所有能够构造不可数无穷(自然数幂集)的递归理论都至少具有这么大的证明论序数
Church-Kleene One：第一个超限非递归点，同时也是第一个超限容许点
Nonprojectible ordinal：超限不可投影点，一个α是NO，则小于α的+α稳定序数在α下无界，也就是，α是+α稳定序数的极限，这样的α必然是容许序数
Stable Original：超限稳定点，对于任意存在的理论都可以在Lα(α＜SSO)中找到模型，这是一个体现了稳定反射的关键点
Pseudo LCA：拟似大基数层谱
Pseudo Ultimate axiom：拟似终极公理，主要是拟似莱茵哈特基数
"Absolute Infinite"：“绝对无穷”，即使是在绝对无穷中，依然无法辨认绝对无穷与绝对无穷的差异
Alef-One：绝对超无穷
(在以上的层谱中，关于实无穷的反射与玩具模式将成为一种回溯性构建的模式)
Power Admissible Cardinal：幂容许点，在集合论中是ZFC将幂集与替换限制在存在性一阶语言的情况下的模型
∑n-Correct Cardinal：∑n正确基数，一个α是∑n正确基数，当且仅当Hα是V限定在∑n上的的初等子模型
World Cardinal：世界基数，最小的世界基数是最小的满足Vα是ZFC的模型的基数
Otherworld Cardinal：异世界基数，一个基数 α 是异世界的，如果存在 β>α 使得 Vα≺Vβ，注意，一个异世界基数α必定至少是一个对于ZFC+存在一个大于α的世界基数的完全正确基数，而完全异世界基数是对任意大的序数都是异世界的基数。一个完全异世界基数必定是所有与其共享理论的异世界基数的极限
Grothendieck Zero：格罗滕迪克零，最小的格罗滕迪克宇宙尺度，也是最小的不可达基数。ZFC+一个不可达基数的存在性意味着存在真类多的完全异世界基数，但是其本身不是异世界基数
Zero-Sharp：0#，在集合论中代表了哥德尔可构造宇宙中不可辨识或序不可辨识的真公式汇聚。它同时也描述了一种本体论结构上的不可辨识状态，或一种反本体的力量
Measurable Two：二值可测基数，在此处展示了类性本体的超幂样态
Whloeness Axiom：整体公理，实际上是对集合论语言的修改，加入了表示初等嵌入的符号j，在实无穷与超实无穷的模式中，替代公理在整体语言上的一致性可以验证
Mountain On：山巅
Rank into Rank：在非无限视域中，一个初等嵌入j: Vα→Vα在规避不一致的情况下只能在虚拟性的集宇宙力迫扩张中完成
Limit Club Berkeley Cardinal：同时是无界闭伯克利基数和伯克利基数的极限的基数，实际上强制弥合了两种无法确认一致性关系的伯克利型基数的鸿沟
Ultimate Axiom：终极公理，莱茵哈特为他提出莱茵哈特基数的那篇论文取名为《Ultimate Axiom》，集合论的终极解决方案是远远位于选择公理之上的极强的大基数公理
Grothendieck Pope Zero：Pope在中文中称为“基量”，用于描述在公理层谱的扩展中定义的类基数模式。例如，二型序数中的不可达基数可以说是一个Grothendieck Pope
Natural Rank：自然秩。集合论的坏无限后退不是由于存在公理的保证，恰恰是在于不存在公理的保证，即使不去规定宇宙层面的序关系，依然会有自然的类序关系在宇宙多态中自动浮现
Bifurcations Of Bifurcations：分岔之分岔。
设Vord是常言的集宇宙V，其中Ord是所有序数的类，Vord的子类是所有0型类，也就是集合，而作为大全的Vord＝V自然不是0型类，像这样不是0型类的1型类称为真1型类，形如V[G], V[A]的类均为真1型类
自然的，Vord+1的子类是所有的0型类以及0型类的非0型汇聚，其本身是真2型类
作为1型类的序数称为1型序数，注意到，ord是1型序数，但ord+1是2型序数，因为它最早作为Vord+1这一真2型类的子类出现，并且被Vord+2最早容纳为元素
从这里看出，即使Vord+1相对于V而言是容纳了一切复宇宙的“复复宇宙”，但其显然不满足存在从V到Vord+1的初等嵌入，实际上它甚至连Ord+1这样的对象都无法容纳，我们可以想象一个所谓的超宇宙，它绝对不能仅仅是“α-复宇宙”的平凡推广——这样的推广即使推到绝对无穷，也不过是提升了一个V的高度，如果将Ord看作第一个“宇宙序数”，那么Ord+Ord别说下一个宇宙序数，就连下一个“基数”都不是，而我们设想的超宇宙，自然需要将OrdxOrd,ω^Ord+1_CK,ℵOrd+1这种直觉平凡的对象毫无问题地包含
接下来规定何为宇宙，何为宇宙链，以及宇宙与宇宙链本身的层级，并通过这些规定得出下一步真正的跨越
最小的宇宙记作V，这里不讨论V具体满足哪些公理，根据不同的构造，V的宇宙序数Ord可以有不同的大小，接下来的内容中，如果没有明确指出，则默认V至少是ZFC的模型。
最低等级的宇宙链条是自然的，可以表示为：
Vord≺Vord+1≺Vord+2...
这个链条的第一个自然极限是Vord+ord，需要注意的是，如果将ord视为一个类世界基数k，像Vord+ord这样的宇宙远远不能满足其作为ZFC模型的要求
包括以下类似模式的宇宙链条迭代，均不能满足(↑表示一种类似相对化的操作，例如φ(1,0)↑ord就是φ(1,ord+1))：
Vord+ord≺Vord+ord+1≺...≺Vordxord...
Vord^ord≺Vord^ord^ord≺... Vφ(1,0)↑ord
Vφ(1,0)↑ord≺Vφ(2,0)↑ord≺..Vφ(ω,0)↑ord
...
假定k是最小的世界基数，Ω代表ord
序列(Vα≺∑2Vk↑ord)≺(Vα2≺∑3Vk↑ord)...的上确界设为k↑ord
可以看出，k↑ord是最小的满足Vk是“ZFC+ord存在”的模型的基数，称其为“超世界基数”，我们认为，一个“超宇宙”的存在性至少暗示了一个超世界基数以绝对无穷的形式存在
但由于我们已经承认Vord+1这样的对象存在，因此我们设想的超宇宙不应当仅仅满足Ord是它的“Σn正确基数”，甚至不止于是正确基数，实际上，一个理想的超宇宙至少应当使得它的宇宙序数(记为kI)满足存在从V到VkI的初等嵌入：V→VkI且对于任意α∈Ord，均使得Ord是相对kI的α阶正确基数
可以看出，这样的一个kI已经远远地强过所谓超世界基数，实际上，这样的kI的性质是“异世界基数”在超宇宙层面上的推广，这样一个VkI的存在，其实际上与“Ord是任意高阶正确基数”的公理等强，而这样的一个公理，其相对一致性强度远低于承认一个同阶不可达基数的存在，更不用说与高阶的LCA相比了
“丰饶公理”：允许宽度上的潜在主义，允许全局选择公理的片段成立性，允许高度上的潜在主义
如果考虑丰饶公理，则可以引入LCA↑ord，对于不同的宇宙链模式，由其丰饶程度不同划分为不同的汇聚，例如，允许作为V＝终极L的模型的宇宙链族与满足存在伯克利基数的宇宙链族独立存在
有“脱丰饶宇宙”VI，对于VI，以下两个命题是定理：
V→VI
VI＝Vord↑VI
其中V→VI代表初等嵌入
可以看出，VI一定是超宇宙，并且我们设定其不总是最小的超宇宙，实际上，正如我们无法想象V的大小，我们也无法想象VI的大小，特别是当V满足Ord的高阶无穷性质时
当然，即使不知道VI的大小，我们依然可以对它进行推广：
设 T:={φ:V⊨φ} ，则 T0 中语句为 T 中语句的每个变元 xi 追加“并且 xi 是 0-型类”，TI中语句追加“并且xi是I-型类” 以此类推， Tα 中语句为 T 中语句的每个变元 xi 追加“并且 xi 是 α-型类”。则最终可得到任意型的类，并且α可以不局限于某个α型序数
注意1型类和I-型类/1-型类的区别，后者指的是诸如VI的对象的类别
自然有初等链：
V→VI→VII→VIII...
将VI的宇宙序数Ord↑VI称为Ord[1]，以此类推得到Ord[α]
最终得到“脱多态宇宙”U
U:={x:∃y(x∈y)} ，称U是终极类，当且仅当不存在 x ，使得U∈x 。可知对任意 Ⅴ[α]中的“传递的并且 ∈ 是其上的良序关系的”α ，均有 V[α]∈U
关于U的大小，可以设想诸如Ord[Ord[α]]这样的对象
实际上，U已经大到V不再能够是它的初等子模型，但即使这样，我们依然能够以更模糊的方式进行推广：
定义超越∈关系的关系E1，∈可视为对E1在类上的限定，则仍可继续得到U[α]，并且有U[β]E1U[α]，其中β∈α，甚至于循环定义为βE1α
而称 y 是究极类，当且仅当不存在 x ，使得 yE1x
以此类推
最终，得到脱同一宇宙∩：
∩:={x|x=x} ，展开为
∩:{x| x Eα x}，αE↑∩ Ord↑∩
即使我们不关心宇宙的内部构造，脱同一宇宙都大到近乎摧毁了同一律
但即使这样，依然可以继续推广
就像二阶语言区别了一阶变元 x1,…,xn 和二阶变元 X1,…,Xn 那样，但不仅限于此的，区分 x1,…,xn 和 x(1,1),…, x(1,n) ；尽管不存在 x = {x|x=x}，但或许存在 x(1,0) = {x|x=x}，并且存在 x(1,0)∈(1,0) y(1,0)
设有X1＝{x|x=x} ，且X1 E^1_α Y1
以此类推
得到“分岔之分岔”∞
∞：＝∪{Xα:Xα＝Xα}:α E↑∞ Ord↑∞
同样，在∞中，也不存在α＝P(α)
这一切的最终状态就是所有的定理都失去了谓词，同样的，这种坏无限的困境可以适用于任何没有禁止分层的公理体系
将以上推广中关于集合论的部分撤去，那么脱丰饶宇宙本身可以是远超一切数学系统的大全
在这里，集合论语言本身成了一种对本体论结构的隐喻：
在含有非标准 ω⋆ 的模型 Ψ 中ω∈↑Ψω⋆ 只是一个有穷序数， 而有穷序数的幂集当然存在基数并且仍是有穷序数，换言之你可以在 Ψ 中找到 P(ω) 本不存在的“基数”，特别地，对任意 α↑∞ ∈↑∞ Ord↑∞ 都存在P(ω)={x:x⊂↑Ψω} 的一个良序子集 A ，使得 α 是 A 的序型，尽管大于 ω 的 α 在 Ψ 中不被认为是序数，但 ∈↑∞ ⊂↑Ψ V2_ω⋆
尽管 ω⋆ 对于 ∞ 而言是非标准的，但对于 Ψ 而言 ω⋆ 就是真正的自然数集，那么自然也会存在对应的非标准 ω⋆⋆∈↑Ψ1 Ψ1 ，并且同样特别地有 ∈↑Ψ⊂↑Ψ1 V2_ω⋆⋆
......
这一路下来，比如 ∞ 的基数是 Ord↑∞ ，全局选择公理一直都在成立，而在全新的领域中，众多全新的实数涌现了出来，以至于实数集不再具有基数，甚至此前众多的序数都能与一个实数集的良序子集同构。
总结：
称VI＝V[1]为“脱丰饶宇宙”或“超宇宙”
称V[α]为“α-超宇宙”
称U为“脱多态宇宙”
称U[α]为“α-外超宇宙”
称究极类为U『1』
称为∩“脱同一宇宙”
有X1＝{ x:x＝x}，并且X1E^1Y1
以Xα为参数的∩称为“α-太超越宇宙”
∞称为“分岔之分岔”
可以设想存在一个代表了坏无限本身的层次
这一层次不会小于∞
(以下三个绝对的含义与上面作为相对之相对的绝对不同)
Absolute Zero：绝对零
Absolute Infinite：绝对无穷
Absolute Continuum：绝对连续统
Truth-Hartogs：第一种不同于绝对(重复一遍，绝对是自指的相对)的真性出现在全域不能容纳的地方，则这类似一个超Sort过程，它的Hartogs数被定义为1-Truth-Hartogs
Anti-Choice Race：反选择族
False Aleph：假阿莱夫，见博尔赫斯《阿莱夫》
The Garden：花园，见博尔赫斯《小径分岔的花园》
Seamadhi：卅摩地，见本书《帽子》一章
Everness：第二可怕的词，见《永恒史》
Neverness：最可怕的词
