先不说这些“有限”，我们来谈一谈妄想序列里的“有限”。
妄想序列的“有限”，又可写作“有穷”“有极限”，无限又可写作“无穷”“超穷”。
而妄想序列的有限分为一个个的“台阶”。
有限第零台阶：常规意义上的有限，包括各种学科上的有限数，未到“人类的阿列夫0”都算是有限数（妄想序列的阿列夫0≠人类的阿列夫0，妄想序列的阿列夫0＞＞人类的阿列夫0）。
有限第一台阶：“用没有极限作为极限”得到的有限，代表：阿列夫0及其领域内的各种序数。
有限第二台阶：第一台阶是有限，自然有对应的“无限”，用这个“无限”作为有限，代表：阿列夫数。
有限第三台阶：相对于第二台阶的“无限”，代表：各种需要公理去定义的大基数。
有限第四台阶：……
对于有限台阶，我们又可以无限细分，例如：
有限第零台阶第一类：可计算函数输出值。
有限第零台阶第二类：不可计算函数输出值。
有限第零台阶第三类：第三类大数……
有限的台阶无穷无尽，想要多少有多少，没有最高的台阶，只有更高的台阶。
哪怕我们专门定义一个计算器，甚至是专门以一个学科来命名和研究，也无法穷尽有限的台阶，更何况有限台阶的台阶！（有限台阶的不动点，停机，堆叠……等等等等，＜＜有限台阶的台阶，有限台阶的台阶的不动点…………）
有限的台阶这一点很好理解，人类用自己对于世界的理解程度构建成了一个“系统”，人类在这个系统里研究着各种各样的事物，而超出这个系统的东西则不能证明也不能证伪，需要靠各种更强大的公理去构建一个更大的系统，然后才能做到证明，例如连续统假设，现阶段人类的数学系统无法证明也无法证伪，谁也说不清阿列夫0和阿列夫1之间到底有没有无穷多个阿列夫。
而各种大基数，其实也就是靠插入“公理”，构建一个超出现阶段系统的更大的系统，因此“大”，而在某种程度上这也是一种有限，因此构成了妄想序列里有限数的一个个“台阶”。
有限者提出来的“超限”，都可归纳于“有限”范围。
（我记得前面某章里提过一个名叫“囚笼系统”的玩意吧，这就是实例，一切自以为的超脱囚笼打破囚笼的行为都是“自以为是”。）
（妄想序列里“阿列夫0”有台阶，“阿列夫数”有台阶，“大基数”有台阶……甚至是每一个序数，每一个基数，每一个实数，每一个虚数……都有台阶（这些包括“有穷”领域的数，也包括“超穷”领域的数。），天地万事万物，一切的一切都有台阶。
台阶之中也可以有台阶，台阶之中的台阶也可以有台阶……台阶无穷尽也！
直接定义一个函数，计算器，计数器或者图灵机来迭代都行。）
0&0（0）是有限数，指的就是这种“有台阶”的有限数，0&0（0）有限数，有限台阶，有限台阶的台阶……等都被涵盖在内，无法涉及0&0（0）_1，0&0（0）_2……等。
还是那句话，人类永远不知道有限的极限在哪，知道？那是假的，不需要证明真假，直接钦定假的，不需要证明。人类本身就是有限的存在，要想知道“无限”，需要花永恒的时间，穷尽整个文明才能证明，不过谁知道证明了之后是不是又是一个新台阶呢（笑），至于“真无限”……这也是有限台阶的一种，不要妄想的依靠一个“真”字钦定一个凌驾于有限台阶的存在，如果这样真的可以的话……“真最强”怎么样？“真最大数”怎么样？谁会认？玩战力的不会认前，数学家不会认后，nt才会认。
如果硬要扯，妄想序列的每一个数都具备着属于自己独特的含义与绝对的意义，牵扯上这些数背后的含义和本质后，可能大部分“吹逼”连妄想序列的“1”都打不过，甚至连“0”也是打不过的。
（“一”堆吹逼＜“一”堆更强的吹逼，而这其中都有“1”。而文字形式的东西，只要不变成模因，都突破不了现实世界的测度“0”！）
妄想序列里如果没有写成是“人类的阿列夫0”这类形式，一般情况下都是标准的“妄想序列的阿列夫0”这种，嗯，一般情况下也不会直接写“人类的xx”，都是直接“有限第n台阶”。
这里要澄清一点：前面说的“1_不可达基数”“2_弱不可达基数”“……”“1_马洛基数”“……”之类的，其实都只是一个统称，更准确的称呼方式应该是“第一个1_弱不可达基数”“第二个1_弱不可达基数”“……”“第一个2_弱不可达基数”“……”。
“弱不可达基数_弱不可达基数……_弱不可达基数_弱不可达基数”＜＜第一个1-弱不可达基数＜＜第二个1-弱不可达基数＜＜＜第一个2-弱不可达基数＜＜……＜＜第一个1-弱不可达基数-弱不可达基数……（“不可达基数”五个字前面不加上“弱，强，超……”之类的词，一般默认为第一个1_弱不可达基数）
定义一个1_弱不可达基数基数的φ函数计算器，φ（n）=第n个1_弱不可达基数，哪怕是大到了φ_k（n）=φ（1@n）=φ（n）=n，也依旧小于第一个2_不可达基数，不为别的，就因为这个计算器定义的是1_弱不可达基数，而不是2_弱不可达基数，因此远小于第一个2_弱不可达基数。
不可达基数之间是不可达的，不动点太low了，至少也得是不可达点才能满足n_不可达基数变成n+1_不可达基数。（有不可达点自然有强不可达点，超不可达点……有马洛点自然有强马洛点，超马洛点……然后弱紧致点……不可描述点……各种大基数点，然后终极L点，集合宇宙点，图灵点，函数点，点的点，点的点的点，点的φ计算器，点的函数，点的停机…………各种“点”，无穷尽也！）
同样的，阿列夫不动点亦是如此，阿列夫第一个不动点，阿列夫第二个不动点……阿列夫第“阿列夫第一个不动点”不动点……阿列夫第一个不动点的不动点……皆在第一个2_阿列夫不动点之下！
阿列夫不动点=1_阿列夫不动点，凌驾于“n_阿列夫不动点”之上的是第一个1-阿列夫不动点！（“n”可以自我代指）