1关于人类数学里集合论的一些阐述。

    问很多人都说阿列夫一是阿列夫零的幂集，或者2的阿列夫零次方阿列夫零对应，而无限盒子就是的次方了，可是根据战力圈的说法，阿列夫一又是无论如何堆叠都无法到达的。这两种说法是否矛盾而且阿列夫一是全体实数的集合，如何证明无论如何堆叠自身都无法抵达它的大小连续统假设中，2的阿列夫零次方就等于阿列夫一，是否与图中的无穷次幂都无法到达阿列夫一相矛盾

    的次方肯定不会2的次方吧

    答次方的定义

    abb个a相乘，

    2的阿列夫0次方就是阿列夫0个2相乘，

    运算中出现极限序数的情况，我们是取其下序数的运算极限的情况，

    2阿列夫0就是，

    21，22，23，24，这一系列运算结果的极限，也还是阿列夫0，

    之所以如此，是因为次方运算的定义是

    ab1axab，

    这样依赖于“前一步”，它是基于乘法次数的延伸，

    但极限序数不存在前一个序数。

    “2阿列夫0”之所以表示更大基数，是因为这种记法在集合论中也是函数集的记法，ab是b到a的函数的集合，

    严格的写应该是2阿列夫0阿列夫1，x表示集合x的基数，只是一般会省略，

    阿列夫a是第1a个无穷基数，

    阿列夫0就是第10个无穷基数，阿列夫1就是下一个无穷基数，

    康托认为2阿列夫0的基数就是阿列夫0之后的下一个无穷基数，也就是阿列夫1，

    2阿列夫0阿列夫1，

    这句话就是所谓的连续统假设，以前的科普都会默认连续统假设成立。

    是你要叠堆的目标时，首先你就不能使用本身或者包括的总体来叠堆它，

    所以1或阿列夫1用1就超越阿列夫0了这种叠堆是不算数的，

    而被叠堆得到是指，5和4均小于10，但5x4大于10。

    而5x4等于5重复4次，从a开始的叠堆你可以抽象的理解为以a为的类推序列，这个序列的长度为b，然后上界就是类推的结果，

    5，55，555，5555，

    5和4均小于10，但这个序列的上界是20。

    2，

    1，2，3，这个序列的上界，也是你们说的无限盒子。

    问那如何证明阿列夫一实数集无法被无限堆叠之后抵达

    答实际上，我们称这种无法从下方抵达的序数叫基数，这样阿列夫1才算是本性的超越了无限，基数是一种特殊的序数，比它小的序数都不存在和它之间的双射，所有有限序数和可数无穷序数的集合就是阿列夫1，所有有限序数的集合则是阿列夫0。

    你简单这样理解就好了，

    无限就是真无限，即使能够运算得到更大的序数，但打乱顺序还是可以一一对应，比如{，0，1，1，2，2，}，显然的一一对应

    但是，所有可能的无限序数的数量却必然是超越无限的，

    假设所有可能的无限序数的数量还是无限，基数，

    那么无限序数的集合本身还是一个序数，它不在其中除非它包含自己对于序数这类集合，包含关系意味着小于关系于是自己小于自己，

    这和绝对无限是不一致的观念是一样的，

    因为所有序数的集合本身也是一个序数，所以自己大于自己，矛盾。因此所有序数的类不能是集合或者不能被谈论。

    如果不承认幂集公理，那么zfc所有集合都是可数集不存在不可数集是一致的。

    也就是说，如果没有幂集公理，阿列夫0之后的每个无穷基数都需要新公理来断言存在。

    全员不可达，极限基数除外。

    定义阶层体系000＝有幂集公理，0000＝没有幂集公理如果没有幂集公理，那么阿列夫数里每一个阿列夫，都相当于一个需要大基数公理才能断言其存在的“大基数”，人类研究出来的大基数也才二十多个，换算到“没有幂集公理的集合论体系”里也就阿列夫二十几，更不要说阿列夫阿列夫0、阿列夫阿列夫1、等等等等之类的了，

    定义阶层体系000＝有幂集公理的阿列夫体系连带着后续的各种大基数、集宇宙、内模型、数学宇宙、类、真类、等等等等，0000＝没有幂集公理的阿列夫体系连带着后续的各种大基数、集宇宙、内模型、数学宇宙、类、真类、等等等等，

    定义阶层体系000＝有幂集公理的集合论集合论体系集宇宙等等等等，0000＝没有幂集公理的集合论集合论体系集宇宙等等等等，

    2v的定义。

    存在一包含v可定义的偏序集，上面有一个滤子称之为脱殊滤子g，这个脱殊滤子对于v而言是脱殊的，把g映射至v之中产生一个全新的结构v的脱殊力迫扩张vg作为一个zfc模型同理还可作为zf、nf、k、等等等等集合论的模型。

    3终极。

    终极的前置需求

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

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

    3一个内模型是终极必须是基于策略分支假设sbh。

    分割线

    4格罗滕迪克宇宙

    一个无限基数k会使得vk╞zfc，它可以断言nzfc。

    5脱复殊宇宙

    脱复殊宇宙是在所有的力迫扩张及其扩展、非力迫扩张及其扩展下cosure形式的v。

    6集合论多宇宙不是集合论多元宇宙，但两者差不多等价

    集合论多宇宙是说根本不存在一个真正的集合论宇宙v集合论多元宇宙是说每一个集合论宇宙都是真正的v。

    所有的集合论宇宙不光光是力迫扩张，还包括非力迫扩张、比力迫扩张更优越的玩意儿。

    典范的内模型、存在大基数的模型，不存在大基数的模型和范的内模型、存在大基数的模型、不存在大基数的模型，都具有同等的本体论、集合论地位。

    在满足不可数共尾性的前提下，集合论多宇宙里的每一个集合论宇宙内，也就是每一个集合论宇宙都可以拥有各自属于自己的连续统的值。

    忽然想到了，除了有限数和可数无穷外，几乎一切大基数、内模型、集宇宙、集合论多元宇宙、脱复殊宇宙、啥啥啥，都是不可数的，那么我以前定义的那个“计算器0＝可数，1＝不可数，”，还真是nb哦，直接跳过不可数，跑不可数之后去了，见证更多更强的存在，懒得和它们在这种“弱逼等级”打来打去

    可数的东西远多于有限，不可数的东西远多于可数和有限，那么不可数往后的那些东西也一定远多于不可数、可数和有限，这是层层递进的，越往后东西越多，也越多于，就好比修仙境界里越往后差距越大。，，