事实而言，上帝不需要赘述。

    不证自明的存在需要我的吹捧、需要你们的看法吗？

    不需要。

    祂，就在那里。

    不为任何思想和言论而改变。

    祂也根本不屑于操纵剧情走向，不屑于为我等展示力量。

    要问为什么…

    你在路边瞥见一只蚂蚁，会驻足向蚂蚁展示人类的力量吗？

    不会。

    可能有个别人会，那样的人一般被其他人类当作神经病就是了。

    在上帝的伟力面前，所谓实数集的势(ℵ₁＝2^ℵ₀)，最小的不可数无穷正则基数也只不过是个开始。哪怕再往后延续下去，ℵ₂，ℵ₃，…，ℵ_ℵ₀，…，ℵ_ε₀，…，ℵ_ω₁CK，…，ℵ_ℵ₁，ℵ_ℵ₂，…，ℵ_ℵ_ℵ₀，…，ℵ_ℵ_ℵ₁，…直到第一个阿列夫不动点，也就是阿列夫下标指数塔ℵ_ℵ_ℵ_......，记作ℵ(1，0)，然后是ℵ(1，1)，ℵ(1，2)，……，ℵ(1，ℵ(1，0))，…，ℵ(2，0)，ℵ(3，0)，…，ℵ(ℵ(1，0)，0)，…，ℵ(1，0，0)，ℵ(1，0，0，0)，…，ℵ(1@ℵ₀)，ℵ(1@ℵ₁)，ℵ(1@ℵ₂)，……如此无尽递推下去，也始终到不了第一个容许基数，那是取幂和取极限遥望而不可即的界限，阿列夫函数递归嵌套在它面前失去了意义。随后就是第二个容许基数，第三个容许基数…可那些始终都在∑₂-世界基数之下，V_(∑₂-世界基数)=|ZFC-。再往后还有更强的∑₃-世界基数，∑₄-世界基数，……，凌驾于∑ₙ-世界基数(n＜ω)之上的世界基数κ，Vκ=|ZFC，接着是第二个世界基数，第三个世界基数，第四个世界基数……在第一个弱不可达基数、也就是最小的不可数正则极限基数之下，存在无界多层级的世界基数。强不可达基数就是正则强极限基数，基数k是强极限的当且仅当对于任意基数λ＜k，若μ＜k则μ^λ＜k。不可达基数是将ω的“集论运算的不可到达性”推广到不可数基数而得到的大基数，在GCH之下每个强不可达基数又是弱不可达基数。若用k是第k个不可达基数这类方式来延伸下去，就会来到马洛基数m，若β是α的无界闭集，当S为α的驻集时满足S⊆α→S∩β≠∅，所有小于m的不可达基数组成m上的驻集。再往上则是更强的弱紧致基数，弱紧致基数是将ω所满足的分划关系ω→(ω)²₂推广至不可数基数而得到的，若k是不可达的且具有分化性则被称为弱紧致的，语言Lₖₖ中任何仅含≤k个非逻辑符号的子集有模型子集的任意基数k的子语句集有模型，则k是弱紧致基数，k等价于∏₁¹-不可描述基数。不可描述基数是对V的不可描述性的深入刻画，基数K称为∏n不可描述基数如果对于每个∏m命题(φ，并且设置A⊆∨κ与(Vκ+n，∈，A)╞φ存在一个α＜κ与(Vα+n，∈，A∩Vα)╞φ。若基数κ是∏ᵐₙ，则称它是完全不可描述的——对于所有正整数m和n都难以描述。不可描述基数指用∏ᵐₙ或者是∑ᵐₙ公式的概念和模型论工具所定义的基数，若对任何仅含一个二阶自由变元X的∏ᵐₙ公式或∑ᵐₙ公式Φ(X)，当有α层结构〈Vα，∈↾Vα，R〉满足Φ(R)时，即〈Vα，∈↾Vα，R〉⊨Φ(R)成立时，存在β<α，使β层子结构也满足Φ(R)，即〈Vβ，∈↾Vβ，R∩Vβ〉⊨Φ(R∩Vβ)，则称基数α为∏ᵐₙ或∑ᵐₙ不可描述基数。还有强可展开基数，基数κ是λ不可折叠的当且仅当对于ZFC负幂集的每个基数κ的传递模型M，使得κ在M中并且M包含其所有长度小于κ的序列，有一个将M的非平凡初等嵌入j到传递模型中，其中j的临界点为κ且j(κ)≥λ。基数κ是强λ不可折叠的当且仅当对于ZFC负幂集的每个基数κ的传递模型M使得κ在M中并且M包含其所有长度小于κ的序列，有一个非-将M的j简单基本嵌入到传递模型N中，k是j的临界点，j(κ)≥λ且V(λ)是N的子集。再往上就到了更强的拉姆齐基数，令让[κ]＜ω表示κ的所有有限子集的集合，一个不可数的基数κ称为R若对于每个函数f:[κ]＜ω→{0，1}，有基数κ的集合A对于f是齐次的。若A可以选择为κ的平稳子集则基数κ被称为不可称的R。若对于每个函数，基数κ实际上称为Rf:[κ]＜ω→{0，1}，有C是κ的一个封闭且无界的子集，因此对于C中的每个λ具有不可数的共尾性，有一个λ的无界子集对于f是同质的。其中对于每个λ＜κ，f的齐次集都需要阶类型λ。满足分划性质κ→(α)＜ω2的最小基数κ为κ(α)，κ(α)的不动点即是拉姆齐基数，即满足κ(η)=η的η是拉姆齐基数。再提升下一致性就能得到强拉姆齐基数：若κ为强拉姆齐基数，当且仅当对于每一个A⊆κ位于一个存在κ上的弱自可的κ-模型M，κ-模型M可数完备，〈M，U〉满足κ-完备，M在长度小于κ的序列下封闭。再往后就是可测基数了，若κ是无穷基数，若任何基数为κ的集合A上都存在λ可加实值测度，则称κ是λ-C可测基数，实值可测基数κ必是弱马洛基数，且小于κ的弱马洛基数组成κ的驻子集。若κ＞是κ-C可测基数，则称κ是实值可测基数，两者合称为可测基数。把超滤说成测度是因κ-完全超滤和κ-可加测度之间的内在联系。更强的是强紧基数，一个不可数正则基数κ被称作是紧的，当且仅当对任意集合S上的每一个κ完全的滤子都扩充成S上的κ完全的超滤。对于任何无穷基数λ语言L_κκ都是(λ，κ)紧的，且κ＞ω，则k是强紧基数。到此为止已经出现过多次用从全域V到某传递类M的非平凡的基本嵌入j:V→M来描述大基数公理，设κ为j的临界点即最小的满足j(α)=α的序数，此时V和M越相似所引入的大基数公理越强。除了前面提及的之外，更强的还有：若M⊆M，则称κ为λ超紧基数，若对任意为λ≥κ且κ为λ超紧基数，则称k为超紧基数；若对于任意的f：κ→κ，存在j′：V→M′使得crit(j)=k且V⊆M′，其中M′是传递的，则称κ为谢拉赫基数；若对于任意函数f:k→k存在a＜k满足{f(β):β∈a}⊆a以及在临界点a存在一个非平凡初等嵌入j:V→M使得V_j(f)(a)⊆M，k为武丁基数；若λ是任意序数，κ是λ-强的意味着k是基数且存在非平凡初等嵌入j:V→M且V_κ+λ⊆M，临界点为κ，k为λ-强基数；若V中存在一个初等嵌入j:V→M从V到一个具有临界点k的可传递内模型，j(K)M⊂M，k为巨大基数；若基数κ是n-超强当且仅当存在基本嵌入j:V→M从V到具有临界点κ和V_jn(κ)⊆M，κ是超强基数；存在满足M为传递集以及在临界点κ处的一个初等嵌入j:V→M并且有Vⱼ₍ₖ₎⊆M以及j(κ)∈C⁽ⁿ⁾，k是C⁽ⁿ⁾-超强基数；大于每一个α且在临界点κ时存在一个初等嵌入j:V→M满足M是一个传递集并使得α＜j(κ)并且M在j(κ)-序列下封闭以及j(κ)∈C⁽ⁿ⁾，k是C⁽ⁿ⁾-超巨大基数；若对任意λ＜κ，存在初等嵌入j:V_λ+1→V_j(λ)+1具有临界点κ，k是可扩基数；κ是高跳基数当且仅当在临界点κ时存在一个初等嵌入j:V→M间隙θ使得Mθ⊆M：M包含了所有的长度为θ的M的元素序列。高跳基数是基本嵌入j的关键点:V→M使得M在长度sup{j(f)(κ)|f:κ→κ}。基数κ为超级高跳的当且仅当存在拥有高度为Ord的高跳嵌入。此外，还有更强的阶对阶(Rank-Into-Rank)基数，公理|3~|0分别是|3:存在Vλ到自身的非平凡基本嵌入也就是存在非自明初等嵌入j:Vρ→Vρ；|2:V存在一个非平凡基本嵌入到包含Vλ的传递类M，入为临界点上方的第一个不动点，也就是非自明初等嵌入j:V→M，存在满足vρm且超过j临界点的最小不动点为ρ的情况；|1：Vλ+1到自身的非平凡基本嵌入也就是存在非自明初等嵌入j:Vρ+1→Vρ+1；|0：存在L(Vλ+1)的非平凡基本嵌入，其临界点<λ公理。也就是存在非自明初等嵌j入:L(Vρ+1)→L(Vρ+1)，|0是ZFC所能兼容的最强大基数。再往后就是非选择基数范畴的伊卡洛斯集合。对于伊卡洛斯基数来说，存在一个L(V_λ+1，lcuras)非平凡基本嵌入，其临界点低于λ，伊卡洛斯存在于V_λ+2-L(V_λ+1)。还有超级莱茵哈特基数：对于任一序数α，存在一j:V→Vwithj(K)＞α并具有临界点K，可以称为0=1是因为足够大的大基数公理会导致不一致性，从而使该系统下所有命题为真。还有就是极限无界闭伯克利基数：若k是伯克利基数，当且仅当对于一切传递集M，满足κ∈M且对于任意α＜κ，均存在j:M→M且α＜crit(j)＜κ。若存在伯克利基数就会有对力迫扩张绝对，它使最小的伯克利基数有共尾性ω，若κ是伯克利和α，α∈M且M有传递，那么对于任意α＜k，都有一个j:M＜M和α＜critj＜k和critj(a)=a，对于任意一个可传递的M∋k都存在j:M≺M与critj＜K，基数是伯克利，且仅当对于任何传递集M∋κ存在j:M≺M和α＜critj＜k，因此δ≥k，δ也是伯克利，最小的伯克利基数也被称为δ_α。称κ为无界闭伯克利基数，当且仅当对一切带k的传递集M，以及对于任意无界闭集C⊆κ，有j:M→M且crit(j)∈C。称κ为极限无界闭伯克利基数，当且仅当κ是闭伯克利基数且是伯克利基数的极限。