如果：
阿列夫a=∪{阿列夫0，阿列夫阿列夫0，阿列夫阿列夫阿列夫0，……}
那么根据极限基数的定义：
阿列夫a=∪{阿列夫b:b∈a}
可知0∈a，阿列夫0∈a，阿列夫阿列夫0∈a，……
就这么简单直接！
阿列夫a=∪{阿列夫0，阿列夫阿列夫0，阿列夫阿列夫阿列夫0，……}
而a=∪{0，阿列夫0，阿列夫阿列夫0，……}
不难看出，把{0，阿列夫0，阿列夫阿列夫0，……}中的0去掉，这个集合就是上面那个集合。
因此，阿列夫a=a。
而这里，阿列夫a已经不利于表达了，我们都需要特别定义“”
A0=阿列夫0，An+1=阿列夫An。
这样，才方便表达。
阿列夫a=∪{An：n∈ω}。
来，你写下下一个阿列夫a=a的集合该怎么定义？
上面那个阿列夫a，因为阿列夫a=a，阿列夫阿列夫阿列夫a这种在逻辑上不过反复同义说 a=a。
被启示者：啊这……A0=阿列夫0，An+1=阿列夫An？确定没有多打一个A？
——H(阿列夫a）=阿列夫a+1，它是所有基数小于等于阿列夫a的序数的集合，
A0=阿列夫0
A1=阿列夫A0=阿列夫阿列夫0
A2=阿列夫A1=阿列夫阿列夫阿列夫0
所以才能写成阿列夫a=∪{An：n∈ω}，对于满足阿列夫a=a的序数，俗称阿列夫不动点，字面意思就是a在阿列夫这个函数下不变，阿列夫a还是a。
而阿列夫不动点的关键在于：
从极限基数的定义阿列夫a=∪{阿列夫b:b∈a}
中可以看到，阿列夫a是阿列夫数的并，而a不过是小于a的b的并，这个差距要令两者相同，
只要对于小于a的b，阿列夫b也小于a，也就是构成a的集合中的元素都附加阿列夫也没关系的话，
比如∪{0，1，2，3，……}=a=∪{阿列夫0，阿列夫1，阿列夫2，阿列夫3，……}。
那么这个差距也就消失了，
本质上，阿列夫a比起a的优势就是阿列夫a是第a个基数，所以其并集是对每个小于a的序数b附加阿列夫来取并。
所以只要a下面有a多个阿列夫数，那么就没有差距了，在a之下，阿列夫数，无穷基数的数量平凡烂大街到跟普通序数一样多，可见a之大。
所以你看懂了吗？
被启示者：大概懂了……
——来，写下第二个阿列夫不动点的构造，记第一个阿列夫不动点为A。
被启示者：A0=阿列夫0，An+1=阿列夫An，阿列夫第一个不动点=Aω，第二个不动点=A阿列夫1。
——？？？
被启示者：难道不是吗？如果说A后面接可数序数，势是不变的，阿列夫的个数也就不变，换句话来说接可数序数后还是阿列夫第一个不动点，只能接阿列夫1。
——记第一个阿列夫不动点为k
定义
A0=阿列夫k+1，An+1=阿列夫An
试问阿列夫a=∪{An：n∈ω}有多大？
阿列夫0的基数是阿列夫0，阿列夫阿列夫0的基数是阿列夫阿列夫0，阿列夫阿列夫阿列夫0的基数是阿列夫阿列夫阿列夫0。
An到An+1的变动都不知道拔高多少层基数了，至于你要套Aω+1=阿列夫Aω，我前面说了，上面那个阿列夫a，因为阿列夫a=a，阿列夫阿列夫阿列夫a这种在逻辑上不过反复同义说 a=a，你说绝对无限次同一律那也还是同一律。
来，证明下
记第一个阿列夫不动点为k
定义
A0=阿列夫k+1，An+1=阿列夫An
阿列夫a=∪{An：n∈ω}是不是第二个阿列夫不动点？
被启示者：应该是吧……A0=阿列夫k+1，An+1=阿列夫An，阿列夫a=∪{An：n∈ω}，阿列夫a=阿列夫阿列夫……阿列夫阿列夫第一个不动点。
——说了没有阿列夫阿列夫……无限下去这种写法，就如ω不是1+1+1+1+1+1+++……无限下去，+1和ω存在断层，与阿列夫不动点同样，A0=阿列夫k+1，An+1=阿列夫An，
阿列夫a=∪{An：n∈ω}都不用看An的定义本身就表明了a和阿列夫a那加了个阿列夫之间没有差距。
为什么？因为别说是加阿列夫，就算是加阿列夫阿列夫阿列夫阿列夫阿列夫……葛立恒数次，不过是把{k+1，阿列夫k+1，阿列夫阿列夫k+1，……}这个集合中前葛立恒数个元素去掉而已。你以为的变大本质是一种缩小而已，这也是无限集的另一种特征。
{0，阿列夫0，阿列夫阿列夫0，……}
{阿列夫0，阿列夫阿列夫0，阿列夫阿列夫阿列夫0，……}
{阿列夫1，阿列夫阿列夫1，阿列夫阿列夫阿列夫1，……}
{阿列夫阿列夫0，阿列夫阿列夫阿列夫0，阿列夫阿列夫阿列夫阿列夫0，，……}
这些看起来越来越大的序列本质都是第一个最小序列的缩水。
设a是极限序数
阿列夫a=∪｛阿列夫b：b∈a｝
a=∪｛b：b∈a｝
这两个的区别是什么?，a是同一个a。
被启示者：后是有限数，在阿列夫第一个不动点之前，后都比前少了一层阿列夫。
——……阿列夫ω×ω和｛ω×n：n∈ω｝这是有限数？区别是阿列夫a的情况其中的都是阿列夫数，对每个序数都叠了层阿列夫。
但在{阿列夫0，阿列夫阿列夫0，阿列夫阿列夫阿列夫0，……｝
这个例子中，身为这些阿列夫数的指标的序数却分别是
{0，阿列夫0，阿列夫阿列夫0，……}
而构成阿列夫a的那个集合本质上还是展现出来的a的子集。{0，阿列夫0，阿列夫阿列夫0，阿列夫阿列夫阿列夫0，……}内容是一样的。
于是，关于不动点的后继运算是：
定义A0(x）=阿列夫x，An+1(x)=阿列夫An(x），
An（x)就是表明x前面叠了几层阿列夫，
B(a+1)=∪｛An(B(a))：n∈ω｝。
而在极限序数的情况，比如 B(ω)=∪｛B(n)：n∈ω｝。
这里提问，为什么前n个不动点的集合取极限，也会是一个不动点？
被启示者：不动点的领域里只有不动点！
——没错，因为｛B(n)：n∈ω｝这个集合里全员都是不动点，前面叠个阿列夫无事发生。到目前为止，都还是些简单概念的推导和套用叠堆。接下来就是讲下数学中入门的“叠堆方式”。[1]
……
……何为“绝对无限”？绝对的无限、超穷的实体、至高无上的冠冕、超越所有的一切、不可自下而上达到、不可被超越的神话？
如果仅是这样，那还不如阿列夫0，阿列夫0承包了一切“+1”的概念及其外延，也是满足绝对无限的一切性质的。没有配套公理定义的绝对无限屁都不是，连阿列夫1都不如！
而如果单纯的认为‘绝对无限’是所有序数的势，那么也不超过不可达基数…………”喜欢行走于V家世界请大家收藏：(www.zeyuxuan.cc)行走于V家世界泽雨轩小说网更新速度最快。
到泽雨轩（www.zeyuxuan.cc）
看剑来