小小的叠个盒子（为了写内容所以放不下）（1/2）

前情提要：该盒子结构部分来自于网络，部分来自于自创，部分来自于论战圈大佬分享。

敬告：本章节和正文内容无关，仅仅是量级盒子，关于本书主角最后两章最高盒子的表现结构（不是设定结构，只是本书最后描述出来的表现盒子上限）

————

首先是保底的基数量级：

宇宙结构:一个有限的宇宙

单体宇宙:一个无限的宇宙

超单:复数个单体宇宙

多元宇宙:无限个单体宇宙

超多元:复数个多元宇宙

无限多元:无限个多元宇宙

无限盒子(任意有限层级往上叠加无限层，每两层间差距无限倍)*……

无限盒子往上叠一层：(

无限盒子往上叠两层：(*)*(w^2)

无限层无限盒子\/无限阶无限盒子（可表示为“无限次元含于第一位面，无限位面含于第一维度，无限维度含于第一）……无限循环。

的较为直观的形式无限次元无限维度相当于一层无限盒子，无限位面等于以无限次元为底层，往上叠加无限层得到的二层无限盒子，那么无限维度就是以无限位面为底层往上叠加无限层得到的三层无限盒子，以此类推循环无限次得到无限层无限盒子。

或者说，把无限层无限盒子比作一个无限层的塔，那么底层就是w^w，每两层之间的差距是w^w）:(=(^)……(^……*^2)=↑w↑2

二层无限层无限盒子\/二阶无限阶无限盒子：(^2=((*((

无限次方无限盒子无限层无限层无限层………无限层无限盒子\/无限阶无限阶无限阶无限盒子\/三阶指数塔:(……((^w)^……（无限循环）=w↑↑3=^w它大于一切此类格式的有限层数的嵌套。

高阶无限次方无限盒子：任何大于无限次方无限盒子的定义。

高阶指数塔：任何大于三阶指数塔的定义，与高阶级无限次方无限盒子意义等同。

四阶指数塔：↑↑4

五阶指数塔：=w↑↑5…………………………………………………

无限阶指数塔：……=↑↑↑2=e_0

超指数塔:即w↑↑↑↑↑……↑↑w=e_w（注：w表示无穷大，无穷大=无限大=?0=w=∞=n。）（注：w^2表示个w相加。）

第一个不可计算序数是w_1^ck，这是所有递归序数的集合，而ck是邱奇克林的缩写，而第二个不可计算序数为w_2^ck，这是第一个不可计算序数w_1^ck放入任何递归运算的集合总和，这里的运算可以有很多，如后继，加法，乘法，乘方，中函数，序数坍缩函数.…...，而我们还有第三个不可计算序数w_3^ck，第四个不可计算序数w_4^ck，第五个不可计算序数w_5^ck.....以此类推，不可计算序数可以任意的多，不过任意w_a^ck也都小于阿列夫一，而我们还有着对不可计算序数的拓展，也就是Фck，假如说有一个不可计算序数w_1^ck，用Фck可以表示为Ф(1)^ck，w_2^ck可以表示为Ф(2)^ck，w_3^ck可以表示为Ф(3)^ck.....以此类推，运算规则都一样，而Ф(1)^ck、Ф(2)^ck、Ф(3)^ck.....用二元ck函数可以表示为Ф(0，1)^ck，Ф(0，2)^ck，Ф(0，3)^ck....以此类推。

从1开始，2是1永远不可达的，同理，3是2永远不可达的，4同理，5，6，7……无限(∞=w=N=阿列夫0)，套幂集，然后是阿列夫1，阿列夫2……阿列夫无限……阿列夫不动点……不动点堆叠……不动点极限……阿列夫阿列夫1…………各种大基数，再以此为基础向上延伸：

V?=?

V＿a+1=p(V＿a)

若λ为极限序数，则V_λ=u_k＜λV_k，

V=u_kV_k，k跑遍所有序数

令ord为所有序数的类则V=u_k∈ordV_k

可构造宇宙V=L：定义def为一个包含所有x子集的集合。一个x的子集x位于def(x)当且仅当存在一个一阶逻辑公式φ和u?,u?,u?,……∈x使得x={y∈x:φ?[y,u?,u?,u?,……]然后：

L?=?

L?=def(L1)={?}=1

Ln+1=def(Ln)=n

Lw=u＿k＜wLw

Lλ=u＿k＜λλisaliitordal?是极限序数L=u＿kLk，k跑遍所有序数

p-na宇宙V

令p为一个拥有rank(p)=r＞w假设p-nas通过一个ftpairgfun来构造。

那么对于任意的V上的G?p-generic以及对于任意的a≥rxw有V[G]?=V?[G]

令f为一个固定的的ftpairgfun;再递归地构造一个宇宙：

V??=?

Vλ?=u＿a＜?Va?

Va+1?=p(Va?xp)

V?=u＿a∈ordVa?

宇宙V=终极L：

V=终极L的前置条件：

一个内模型是终极-L至少要见证一个超紧致基数。

一个内模型是终极-L也可以至少见证超幂公理UA+地面公理GA+存在一个最小强紧致基数成立。

一个内模型是终极-L必须是基于策略分支假设Sbh。

如果V[G]是V的脱殊集合扩张并且V在V[G]的w?序列下不封闭那么V[G]≠终极-L并且V[G]中普遍分区公理不成立。

见证普遍分区公理成立。

见证强普遍分区公理成立。

终极L是一个典范内模型，并见证地面公理GroundAxio成立。

V=终极L的直接推论：

见证最大基数伊卡洛斯的存在性。

见证真类多的武丁基数终极L是最大的内模型。

见证能够和选择公理兼容的最大的类-AdR公理，并且θ是正则的。

拥有最大的证明论序数。（即使序数分析目前远未到ZFc的水平）

见证能够和选择公理兼容的最强的实数正则性质断言

见证Ω猜想成立

见证每一个集合都是遗传序数可定义的，

hod猜集合都是遗传序数可定义的，hod猜想成立。

见证ZF+Rehardt不一致。

存在非平凡初等嵌入

j:Lλ(h(λ+))→Lλ(h(λ+)).

V是最小的脱殊复宇宙。

见证广义连续统假设成立，并且w?上有一个均匀预饱和理想。

见证正常力迫公理成立。

本章未完，点击下一页继续阅读。