前言：

1、阅读本文前请先保证读完《论战常识科普1》；

2、本文讨论“单体宇宙”以上的量级，会涉及到学术数学相关的科普，如有错误请指正；

3、回答那些“论战/自创就是乱搞数学/民科数学/亵渎数学/……”的人，首先，论战使用的数学在数学上是合法的，其次，数学只是工具，其本身并没有什么神圣性，论战也只是在用数学的工具而已，任何人都有权利使用数学的工具以及决定怎么使用数学的工具，无人可以干涉这种权利。

一、单体宇宙以上的论战

我们使用超实数无穷N来表示一个无穷大的宇宙——也就是单体宇宙，而单体宇宙及以上的量级则使用N的各种运算表示。

（稍微提一下目前常见的三种对单体宇宙的表达方式：∞、ω和N，其中∞不能作为一个具体的数进行运算，ω虽然可以运算，但ω无法做减法和除法等减运算，所以既可以进行运算，也可以进行减运算的超实数无穷N便成了衡量单体宇宙以上量级的最好选择）

各个量级的具体表示方法和其对标的“结构”如下：

单体宇宙：N（一个无限大的宇宙）

多元宇宙：N^2=N*N（无限个无穷大的宇宙）

无限多元宇宙：N^3=N*N*N（无限个多元宇宙）

全能宇宙：N^4=N*N*N*N（无限个无限多元宇宙）

高阶多元：N^x（x是任意有限数）（上面的每一个标准都相当于叠一层盒子，高阶多元就是叠任意有限层盒子）

无限盒子：N^N（无限层盒子，相当于无限个等级的宇宙的集合，每个等级的宇宙都等于无限个上一个等级的宇宙）

多层无限盒子：N^(N*x)（将无限盒子看成单体宇宙，新的单体宇宙之后的每一层盒子的差距也是无限盒子大小，这样叠x层为x层无限盒子，x是任意有限数）

无限层无限盒子：N^N^2（重复刚才叠多层无限盒子的过程无限次，相当于一个新的无限盒子）

无限次方无限盒子：N^N^N（把无限层无限盒子看成单体宇宙，新的单体宇宙之后的每一层盒子的差距都是无限层无限盒子大小，叠出新的无限盒子后再把这个新无限盒子看成单体宇宙，这个更加新的单体之后的每一层盒子的差距都是新无限盒子大小，这样循环无限次便是无限次方无限盒子）

高阶无限次方无限盒子：N^^x=N^N^……（x层）

指数塔：N^^N（无限层指数构成的指数之塔）

超指数塔：

（旧）下限N^^N以上～φ(ω,0)（把指数塔设为ε0，然后定义ε(x+1)=N^N^……^(εx+1)，εεε……（N层）=ζ0，ζ(x+1)=εεε……(ζx+1)，设ε是第1类不动点，ζ是第2类不动点，那么φ(ω,0)就是第ω类不动点），论外之下上不封顶；

（新）N^^N以上～φ(ω,0)

论外：

（旧）阿列夫一；

（新）超指数塔以上

二、阿列夫数和大基数

（此处默认GCH（广义连续统假设）成立）

阿列夫数：

阿列夫0=自然数集的势（势：集合的元素数量）

阿列夫(a+1)=p(阿列夫a)=2^阿列夫a=阿列夫a的幂集（将阿列夫a内的所有子集取出并重新构成一个以这些子集为元素的集合）

不可达基数：

不可数极限正则基数

不可数：无法和自然数集构成一一对应，也就是说大于阿列夫零的基数都是不可数基数。

极限：不是后继基数的基数（一个非0的基数满足基数上的后继关系即为后继基数，否则就是极限基数）

正则：cf(k)=k（cf(k)就是某个基数的基本列长度，也就是得到它需要长度为k的堆叠过程，反之，若cf(k)<k，则k是奇异基数）

马洛基数：

存在一个不可达基数k，k之下的不可达基数构成无界闭子集无界子集：对极限序数k，以k为上确界的k的子集为k的无界子集无界闭集：若C是k的无界子集，且对于任意极限序数j<k，C∩j的上确界是j蕴含b∈C，则C是k的无界闭子集。

弱紧致基数及之后的大基数本文不做科普（主要是作者不会），请读者自行寻找文献学习。

三、自创

论战语境下的自创指“战力自创设定”，即一类目的为“强度”的设定集类作品，通常具有超越一般作品的论战强度，较为知名的自创有神盒世界等作品。而自创有单独的一套衡量自创强度的标准，即AOS标准和404标准（现已废除，详见知乎上神盒世界作者发布的公告）。

与严格的学术要求不同，自创设定中涉及到的数学、哲学等知识或与数学、哲学等学科相关的自创概念通常没有学术界那样严格的要求，如良定义性要求等，这就导致了自创设定者组成的圈子——自创圈与另一个以要求严格定义为核心思想的圈子——构造圈的一些矛盾，构造圈使用的标准——新标准的衡量标准也与自创圈完全不同，但二者并非完全的二极对立，且仍然有可以共通的地方。

四、量级枚举和论战名词科普（单体宇宙以上版）

1、量级枚举：（个人观点，单体宇宙及以上的量级只有强、超的前缀，以十倍为强和超的分界线，不存在“弱单体”的说法，因为ω不能做减运算）

单体宇宙、多元宇宙、无限多元宇宙、全能宇宙（不常用）、高阶多元、无限盒子、多层无限盒子、无限层无限盒子、无限次方无限盒子、高阶无限次方无限盒子、指数塔、超指数塔、论外（新汪吧标准）、论外三线（旧汪吧标准，阿列夫一）、新标论外二线（不可达基数）、新标论外一线（巨大基数）、新标论外超一线（终极L，个人认为指代的应该是终极L本身而不是V=终极L的模型的一致性强度）、AOS标准论外二线（不可达基数～V）、新标论外天花板下层（脱殊复宇宙）、新标论外天花板中层（复复宇宙）、新标论外天花板上层（V-Logic）、新标论外天花板最上（V-Logic之上）、AOS标准一线（旧神盒世界第四阶段）、AOS标准超一线（旧神盒世界第五阶段）、AOS标准论外天花板下层（旧神盒世界第六～七阶段）、AOS标准论外天花板中层（旧神盒世界第八～十二阶段）、AOS标准论外天花板上层（旧神盒世界无限阶段）=404标准论外超一线、AOS标准论外天花板最上（旧神盒世界深渊之底）=404标准论外天花板下层、404标准论外天花板中层（旧神盒世界永恒之核）、404标准论外天花板上层（旧神盒世界原始无极天）、404标准论外天花板最上（旧神盒世界太上超然界）

2、名词科普：

自创/战设/盒子：指战力自创设定，前文已做解释

叠盒子/叠盒：指创作战力自创设定

构造：指严格的数学构造

自创圈：指战力自创设定者组成的圈子

构造圈：指由以数学构造的严格性为追求的，涉及论战数学的圈子

名词流：由无定义的名词组成的设定，在论战中被视为无效增强，如超越一切、全知全能、永远无敌等

无效增强：对当前层面毫无意义的加强，如对大基数用高德纳箭头和康威链

名词：论战语境下可作为名词流的简称

破格：高层的堆叠方式的效率/逼格/增强程度/绝对强度相对于低层反而更弱，如在明确超越数学后仍然使用非魔改的数学概念进行增长

呈现形式：指大概的通用表现形式，如举例、循环、叙述等

（待补充）