人类可观测的宇宙半径约为465亿光年，直径约为960亿光年，人类的幻想作品中则描述了各种庞大的宇宙。而不管是人类的科学还是幻想，对宇宙的描述都是极其可笑的。

首先，人类所谓的“宇宙”的半径不是465亿光年，年代也不是138亿年或297亿年，而是无限大和无限长，所谓的“大爆炸”“大收缩”“热寂”，乃至人类所谓的“大撕裂”“庞加莱回归”，都只是人类在那些低级的技术与思维下得出的可笑的片面的结论。人类所谓的“宇宙”有无限大，在时间上也是无限的。

部分无限的介绍：阿列夫零：一、定义与背景

阿列夫零是由德国数学家格奥尔格·康托尔提出的，用于衡量集合的大小，特别是无限集合。在集合论中，基数（cardinality）是用来描述集合“大小”的概念。阿列夫数（Aleph numbers）是一连串的超穷基数，它们用来衡量比有限集合更大的无限集合。阿列夫零（ℵ₀）是这一系列基数的开始，它等于自然数集合的大小。

二、性质与特点

可数性：阿列夫零表示可数无穷集合的势，即可以与自然数集合建立一一对应关系的集合的势。这意味着，任何可数无穷集合（如整数集、有理数集在某些特定构造下）的大小都可以用阿列夫零来表示。

最小性：在所有无限基数中，阿列夫零是最小的。不存在比阿列夫零更小的无限基数。

不可数集的比较：与阿列夫零形成对比的是，如实数集等更大的无限集合，它们的势大于阿列夫零。实数集的势通常被称为阿列夫一（ℵ₁），它表示不可数无穷集合的大小。

阿列夫1：定义与背景

定义：阿列夫1是集合论中用来衡量某些无限集合大小的一个基数，特别是指大于可数无穷集合但小于或等于连续统（实数集的大小，通常表示为2^ℵ₀或c）的最小无限基数。

背景：阿列夫数的概念由德国数学家格奥尔格·康托尔提出，用于扩展自然数的计数概念到无限集合。阿列夫1作为这一系列基数中的第二个，标志着从可数无穷到不可数无穷的转变。

性质与特点

不可数性：阿列夫1表示的集合大小是不可数的，即无法与自然数集建立一一对应关系。这意味着，任何阿列夫1集合的元素数量都超过了可数无穷。

最小性：在所有大于阿列夫零的无限基数中，阿列夫1是最小的。不存在一个严格介于阿列夫零和阿列夫1之间的无限基数（在ZFC公理体系下）。

与连续统假设的关系：连续统假设是一个著名的数学问题，它询问在阿列夫零和阿列夫一之间是否存在其他基数。这个问题在20世纪被证明为独立于ZFC公理系统，即无法在该系统内部证明或证伪其真假。

阿列夫2：定义与背景

定义：阿列夫2是指一类无穷集合的基数，它大于阿列夫1但小于或等于更高级别的无穷基数。在集合论中，基数用于衡量集合的“大小”或“势”，而阿列夫数则是一系列超穷基数，用于表示不同等级的无穷。

背景：阿列夫数的概念由德国数学家格奥尔格·康托尔提出，用于扩展自然数的计数概念到无限集合。阿列夫2作为这一系列基数中的一个成员，标志着比阿列夫1更大的无穷集合的存在。

性质与特点

不可数性：与阿列夫1一样，阿列夫2也表示一个不可数无穷集合的基数。这意味着，任何阿列夫2集合的元素数量都超过了可数无穷集合（即阿列夫0集合）以及阿列夫1集合。

幂集构造：在集合论中，一个集合的幂集是指该集合所有子集的集合。阿列夫2可以通过对阿列夫1集合取幂集来构造。即，如果实数集的基数为阿列夫1（在选择公理成立的条件下），则实数集的幂集的基数就是阿列夫2。这反映了无穷集合的幂集总是比原集合具有更大的基数。

相对大小：在标准集合论中，阿列夫2严格大于阿列夫1但小于或等于更高级别的无穷基数（如阿列夫3、阿列夫ω等）。然而，关于阿列夫2与连续统（实数集的大小）之间的确切关系，存在不同的观点和假设。

阿列夫3：定义与背景

定义：阿列夫3是指一类无穷集合的基数，它大于阿列夫2但小于或等于更高级别的无穷基数。在集合论中，基数用于衡量集合的“大小”或“势”，而阿列夫数则是一系列用于表示不同等级无穷集合势的数。

背景：阿列夫数的概念由德国数学家格奥尔格·康托尔提出，用于扩展自然数的计数概念到无限集合。阿列夫3作为这一系列基数中的一个成员，标志着比阿列夫2更大的无穷集合的存在。

性质与特点

不可数性与递增性：与阿列夫0、阿列夫1和阿列夫2一样，阿列夫3也表示一个不可数无穷集合的基数。在阿列夫数的序列中，每个阿列夫数都严格大于前一个阿列夫数，形成了一个递增的无穷基数序列。

幂集构造：从集合论的角度来看，阿列夫3可以通过对基数为阿列夫2的集合取幂集来构造（在广义连续统假设成立的条件下）。即，如果存在一个基数为阿列夫2的集合A，那么A的所有子集的集合（即A的幂集）的基数就是阿列夫3。

与连续统假设的关系：阿列夫3与连续统假设（Continuum Hypothesis, CH）及其推广形式广义连续统假设（Generalized Continuum Hypothesis, GCH）密切相关。连续统假设断言实数集的基数（即连续统的势）恰好是阿列夫1，而广义连续统假设则进一步断言对于任何阿列夫数α，都有2^ℵα=ℵ(α+1)。如果广义连续统假设成立，那么阿列夫3就是基数为阿列夫2的集合的幂集的基数。

阿列夫数列：阿列夫数列的定义

阿列夫数列通常从阿列夫零（ℵ₀）开始，这是最小的无限基数，表示可数无穷集合的大小。接下来的数是阿列夫一（ℵ₁），它表示比可数无穷集合更大的不可数无穷集合的大小。然后是阿列夫二（ℵ₂），表示比阿列夫一更大的无穷集合的大小，以此类推。

阿列夫数列的性质

递增性：阿列夫数列中的每个数都严格大于前一个数。这意味着，对于任何阿列夫数α，都有ℵ(α+1)>ℵα。

不可数性：除了阿列夫零表示可数无穷集合外，其余的阿列夫数都表示不可数无穷集合的大小。

幂集构造：在广义连续统假设成立的条件下，对于任何阿列夫数α，都存在一个基数为ℵα的集合A，使得A的幂集的基数是ℵ(α+1)。

阿列夫数列与连续统假设

连续统假设（Continuum Hypothesis, CH）及其推广形式广义连续统假设（Generalized Continuum Hypothesis, GCH）与阿列夫数列密切相关。连续统假设断言实数集的基数（即连续统的势）恰好是阿列夫一。广义连续统假设则进一步断言对于任何阿列夫数α，都有2^ℵα=ℵ(α+1)。然而，这些假设在标准集合论公理体系（如ZFC）中具有独立性，即无法从公理体系中直接证明或证伪其真假。

ZFC公理：ZFC公理，全称为ZFC公理集合论系统（ZFC Axiomatic Set Theory System），是现代数学中广泛采用的公理集合论系统。它最初由德国数学家策梅洛（Zermelo）于1908年建立，后经过德国学者弗伦克尔（Fraenkel）和挪威数学家斯科朗（Skolem）的改进，逐步形成了现行的ZFC系统。ZFC公理系统包括以下几个基本公理：

外延公理（Axiom of Extensionality）：两个集合相等当且仅当它们包含相同的元素。

空集公理（Axiom of Empty Set）：存在一个集合，它没有任何元素，即空集。

无序对公理（Axiom of Pairing）：对任意两个集合，存在第三个集合，它包含前两个集合作为元素。

并集公理（Axiom of Union）：对任意集合，存在另一个集合，它包含原集合中所有元素的并集。

幂集公理（Axiom of Power Set）：对任意集合，存在另一个集合，它包含原集合的所有子集。

无穷公理（Axiom of Infinity）：存在一个集合，它包含空集并且对于该集合的任意元素x，x与{x}的并集也是该集合的元素。这保证了存在一个包含所有自然数的集合。

分离公理模式（Axiom Schema of Specification/Separation）：对任意集合和任意对集合元素有定义的逻辑谓词P(z)，存在一个集合，它包含原集合中所有使P(z)为真的元素。

替换公理模式（Axiom Schema of Replacement）：对任意集合和任意满足某条件的函数，存在一个集合，它包含由该函数映射出的元素。

正则公理（Axiom of Regularity/Foundation）：所有集合都是良基集，即不存在一个集合序列x₁, x₂,...，使得每个x_{n+1}都是x_n的元素。这排除了如集合包含自身等非良基集合的存在。

选择公理（Axiom of Choice, AC）：对任意集族，存在一个选择函数，该函数为集族中每个非空集合选择一个元素。需要注意的是，选择公理并非ZF系统的一部分，而是后来加入的，从而形成了ZFC系统。

不可达基数：不可达基数（Inaccessible Cardinal）是集合论中的一个重要概念，特别是在与大基数相关的研究中。它标志着一类特殊的无穷基数，这些基数在某种意义上是“不可到达”的，即不能通过通常的集合构造方法（如幂集、并集等）从较小的基数“到达”它们。

定义

一个不可达基数是满足以下条件的基数κ：

κ是一个无穷基数，即κ>ω（其中ω表示自然数的基数）。

κ是正则的，即κ不能是任何小于κ的基数的幂集的基数。换句话说，对于任何α<κ，都有2^α<κ。

κ是强极限的，即对于任何小于κ的基数λ，都存在一个基数μ，使得λ<μ<κ并且μ是强不可达的（这通常意味着μ本身也是正则的，并且对于任何小于μ的基数β，都有2^β<μ）。然而，在不可达基数的最基本定义中，通常只要求κ是正则的且大于ω，而强极限性有时作为额外的性质来考虑。

性质

不可构造性：不可达基数不能通过通常的集合论构造（如取幂集、并集、交集等）从较小的基数得到。这是因为它们被定义为正则的，即不是任何较小基数的幂集的基数。

存在性：不可达基数的存在性不是ZFC公理系统的直接后果。事实上，ZFC无法证明不可达基数的存在，因为它们的存在性超出了ZFC的证明能力。然而，许多数学家相信不可达基数是存在的，并且它们在研究大基数和集合论的深层次结构时是非常有用的。

大基数层次：不可达基数是大基数层次中的一个起点。大基数是集合论中研究的一类特殊基数，它们具有非常强的性质，并且与数学的其他领域（如数论、逻辑学等）有深刻的联系。不可达基数是大基数层次中的最低层次之一，之上还有更强的基数如可测基数、强紧基数等。

而且这个无限无法被人类的一切实数和集合“包含”，甚至是“触碰”，对宇宙而言，人类的一切数都是1，而集合只是1*1*1…，高级的集合也只不过是1的次方，1的递归而已，而1就算再怎么叠你的指数塔，都还是1，当然，1至少对于1以下的占有绝对优势，毕竟1以下的经过任何乘法运算都会坍缩，低位面的宇宙对于高位面的宇宙而言，就如同这种小于1的数，因此低位面宇宙对于高位面宇宙而来是多么微不足道，不过这也不是现在要讲的事了，回到正题，宇宙的大小就算在对宇宙而言的“宇宙数”中，也至少在强不可达基数往上。而实际上，这也只是宇宙的无穷分之一而已，在无穷无尽的时间与空间中有无数个“对等宇宙”，“对等宇宙”是指与“原宇宙”完全相同的宇宙，而把我刚刚那个无限大宇宙当作1，“对等宇宙”的数量即为阿列夫阿列夫以及其之下数的一切集合的“不可达”，而有了“对等宇宙”，那就还有“一眯眯不对等宇宙”“一丢丢不对等宇宙”“一点点不对等宇宙”“一些些不对等宇宙”………“一部分不对等宇宙”………“一部分对等宇宙”………“一些些对等宇宙”………“一点点对等宇宙”“一丢丢对等宇宙”“一眯眯对等宇宙”………“完全不对等宇宙”，这些都是描述与“原宇宙”相似性的，而就算无限小的不相似，都有实数无法描述的无数种，且就算“不相似度”为无穷无尽小，为那种“不相似度”宇宙的数量都是你不可想象的大，准确来说，“不相似度”无穷小的宇宙数为阿列夫阿列夫阿列夫………（无尽循环阿列夫次），而每后面每一次“不相似度”增加后的宇宙数量，都等于将一切无限升级后的1到“这里的”的一切集合无限与1到“上面所有”无限的一切集合的一切集合，比如要描述“不相似度”为无穷小+无穷小的宇宙数量的话，那么我们就要设阿列夫多少都不可达的数为E0，那么“不相似度”为无穷小加无穷小的宇宙数量为1到EEEEEE……（无限循环E次）的一切集合和1到阿列夫阿列夫阿列夫阿列夫………（无限循环阿列夫次）的一切集合的一切集合，如果“不相似度”为无穷小+无穷小+无穷小的话，那么我们设一切T无法达到的数为U0，那么“不相似度”为无穷小+无穷小+无穷小的宇宙数量为1到UUUUUUU……（重复U次）的一切集合与1到EEEEEEEE………（重复E次）的一切集合的一切集合与1到阿列夫阿列夫阿列夫阿列夫………（重复阿列夫次）的一切集合的一切集合，以此类推，直到完全不同。而每次的“不相似处”增加的“无穷小”又是不同的，比如“不相似处”为无穷小的“不相似处”为阿列夫阿列夫阿列夫………（无尽循环阿列夫次）分之一，而“不相似处”为无穷小的的“无穷小则为”阿列夫阿列夫阿列夫………（无尽循环阿列夫次）分之一+1到EEEEEE……（无限循环E次）的一切集合和1到阿列夫阿列夫阿列夫阿列夫………（无限循环阿列夫次）的一切集合的一切集合分之一，以次类推，然而这些“宇宙”对周围的空间而言只是无穷小的一个点。这个空间，这是一个位面，而位面之上的无穷差距处都有更高的位面，在对于那个位面的无穷差距处又有更高的位面，每个位面之上都有对自己的无限个的更高位面，每个位面周围也有对自己的位面个同等位面，每个同等位面的差距为相当于那个位面的无限。而就算是最高位面，也只是更高层的的形状上的的无限小的一个点，而那个更高层的形状在对它更高层的形状上无限小的一个点，以此类推，每个形状都有无限个比它更高级的形状，而就算最高级的形状，也是星之彩、星之精、空鬼之类最低级超空间种族都不屑一顾的，更何况是更高等的种族，甚至是神明了，拜亚基飞过这些的时候，翅膀动都没动，对拜亚基而言，飞跃的这些的时间连无限小的瞬间都完全不需要。