所以w+1或阿列夫1用1就超越阿列夫0了这种叠堆是不算数的,
而被叠堆得到是指,5和4均小于10,但5x4大于10。
而5x4等于+5重复4次,从a开始的叠堆你可以抽象的理解为以a为起点的类推序列,这个序列的长度为b,然后上界就是类推的结果,
5,5+5,5+5+5,5+5+5+5,
5和4均小于10,但这个序列的上界是20。
2w=w,
ww=w1,w2,w3,……这个序列的上界,也是你们说的无限盒子。
问:那如何证明阿列夫一(实数集)无法被w无限堆叠之后抵达?
答:实际上,我们称这种无法从下方抵达的序数叫基数,这样阿列夫1才算是本性的超越了无限,基数是一种特殊的序数,比它小的序数都不存在和它之间的双射,所有有限序数和可数无穷序数的集合就是阿列夫1,所有有限序数的集合则是阿列夫0。
你简单这样理解就好了,
无限就是真无限,即使w能够运算得到更大的序数,但打乱顺序还是可以一一对应,比如w+w={w,0,w+1,1,w+2,2,……},显然的一一对应
但是,所有可能的无限序数的数量却必然是超越无限的,
假设所有可能的无限序数的数量还是无限,基数w,
那么无限序数的集合本身还是一个序数,它不在其中——除非它包含自己——对于序数这类集合,包含关系意味着小于关系——于是自己小于自己,
这和绝对无限是不一致的观念是一样的,
因为所有序数的集合本身也是一个序数,所以自己大于自己,矛盾。因此所有序数的类不能是集合或者不能被谈论。
如果不承认幂集公理,那么zfc+所有集合都是可数集+不存在不可数集是一致的。
也就是说,如果没有幂集公理,阿列夫0之后的每个无穷基数都需要新公理来断言存在。
全员不可达,极限基数除外。
定义阶层体系:0&0(0)=有幂集公理,0&0(0)_0=没有幂集公理(如果没有幂集公理,那么阿列夫数里每一个阿列夫,都相当于一个需要大基数公理才能断言其存在的“大基数”,人类研究出来的大基数也才二十多个,换算到“没有幂集公理的集合论体系”里也就阿列夫二十几,更不要说阿列夫阿列夫0、阿列夫阿列夫1、…………等等等等之类的了),…………
定义阶层体系:0&0(0)=有幂集公理的阿列夫体系(连带着后续的各种大基数、集宇宙、内模型、数学宇宙、类、真类、……等等等等),0&0(0)_0=没有幂集公理的阿列夫体系(连带着后续的各种大基数、集宇宙、内模型、数学宇宙、类、真类、……等等等等),…………