在哲学、数学、神学、逻辑学、语言学中，命题是指一个判断句的语义，该判断句表达了什么含义，就是该判断句的命题。
命题不是指判断句本身，而是指所表达的语义，不过也可以简单认为命题就是“判断”。
（命题不是判断句本身，但是判断本身。）
当不同的判断句表述的语义相同的时候，这些判断句表达相同的命题。
命题分为真命题的伪命题，与现实相悖的命题为伪命题，与现实相符的命题为真命题。
假设我进行一次命题：
存在语句a，a的语义为：洛晨曦强无敌。
该情况与现实相符，我们可以判断该命题为真命题。
命题又可分为：原命题，逆命题、否命题和逆否命题。
逆命题是指和原命题表意相反的命题，如果以语句a为原命题，那么a的逆命题是：洛晨曦弱有敌。
否命题是指否定原命题的命题，a语句的否命题是：洛晨曦不是强无敌。
逆否命题是指逆命题的否定命题，a语句的逆否命题是：洛晨曦不是弱有敌。
对于“设定”，我们可以认为其是命题的一种表现形式，对于任意作品的设定，在该作品里为真命题，在该作品外为不确定真伪的命题。
除此之外，命题还可分为“经验命题（后验命题）”“先验命题”“超验命题”“……”等等等等。
经验命题和先验命题，经验命题的真值在0到1之间徘徊，先验必然命题真值至少为1，那么存在对应更高级的真值的命题，这些命题都对应更高层级的现实，比如说超验命题，其真值至少为阿列夫0，第四验命题其真值至少为不可达基数，第五验命题其真值至少为终极L。
定义计算器或计数器：
φ（0）=经验命题，φ（1）=先验命题，……
φ（0）=命题，φ（1）=真值命题，……
（“经验”即“后验”，那么何为经验？
经验界是绝对有（一切存在、一切反存在、无上限、全善全视全知全能全威全在全爱全造全权……）、绝对无（空、一切不存在、无下限、无始无终无师无形无能无想象……）、绝对、非无、非有、绝非、太无、太梵、高大上梵、超大上梵、……等等等等的世界，一切能被思维、逻辑的都是经验。
换句话说，只要是你脑海中的、现实中的、虚假中的、虚拟中的、理论中的、理念中的、叙事中的、……，都是经验界的部分，比如“环境”这个概念就属于经验。
至于经验之上的先验、超验等等——用经验的概念去衡量超验的东西本身就是办不到的。）
“设定”就是一种经验命题，设定所设定之物是与现实自洽、所承认之物，因此是一种经验。
经验命题也被叫做逻辑命题，经由精密逻辑定义后所得到的命题，一切逻辑、反逻辑、逆逻辑、隐藏逻辑、不可逻辑、超越逻辑、凌驾逻辑、游离逻辑之外、……等等等等，都是一种逻辑。
这些命题，我们又可对其施展各种盒术（例如焰愿心盒术、标准盒术、……等等等等）、本化、阶层、……等等等等，各种花式叠盒、吹逼操作。
……
论阿列夫第一个不动点有多大——
这里要提一句，虽然经常说阿列夫阿列夫阿列夫……阿列夫阿列夫0就是阿列夫第一个不动点，但阿列夫第一个不动点可不仅仅于此，就好比阿列夫0不单单只有ω，还有可数序数一般，阿列夫第一个不动点也是如此。
（阿列夫第二个不动点和阿列夫第一个不动点的差距要远比阿列夫第一个不动点和阿列夫0的差距还要更为巨大，阿列夫第n+1个不动点和阿列夫第n个不动点的差距要远比阿列夫第n个不动点和阿列夫第n-1个不动点的差距要更为巨大。）
每两个阿列夫不动点之间，都存在着一套“阿列夫谱系”，或者说“阿列夫阶层体系”，这些阿列夫阶层体系要一套比一套巨大。
第一套阿列夫阶层体系如下：
令ω代指阿列夫0，ω+1代指阿列夫1，ω+2代指阿列夫2，……如此类推。
阿列夫阿列夫0就是ω+ω。
阿列夫阿列夫阿列夫……阿列夫0就是ω+ω+ω+……，也可以写作ω×ω。
后面还有ω×ω+1、ω×ω+2、……、ω×ω+ω、ω×ω+ω+1、……、ω×ω+ω+ω、ω×ω+ω+ω+1、……、ω×ω+ω+ω+ω、…………等等等等，最终极限是ω×ω×ω。
ω×ω×ω也可以如此类推，得到ω×ω×ω×ω，接着反复如此类推，得到ω×ω×ω×ω×ω、ω×ω×ω×ω×ω×ω、……等等等等。
最终极限是ω×ω×ω×……ω×ω，可以写作ω^ω！
你看出来了吗？是的，没错，这就是可数序数的那套操作！可数序数该怎么操作就怎么操作。
我们可以把可数序数的那套操作搬到这上面来，这就是第一套阿列夫阶层体系的起点，可以写作0&0（0）。
接着往上可以继续叠，可以有：阿列夫1、阿列夫2、……、阿列夫阿列夫0、……等等等等，这些阿列夫数的内部也可以存在一套或者多套类似可数序数那样的“序数体系”，不过这些序数体系也如同阿列夫阶层体系一般，一套比一套庞大。
接着我们再次定义，上述一段话里的阿列夫1=ω+1、阿列夫2=ω+2、…………如此类推，重复刚刚的操作，继续如同迭代可数序数一般迭代它们。
这就是第一套阿列夫阶层体系里的0&0（0）_0！
如此继续重复操作，上面还可以有阿列夫1、阿列夫2、……等等等等，令刚刚的阿列夫1=ω+1、阿列夫2=ω+2、…………，如此类推，又是如同迭代可数序数一般迭代它们。
这是0&0（0）_1！
如此类推可得0&0（0）_2、0&0（0）_3、…………等等等等，一系列阶层体系的等级。
接着就如同有限数无法得到阿列夫0，阿列夫数无法得到不可达基数一般，需要一种全新的增长方式（比如说有限数得到阿列夫0是靠集合，阿列夫得到不可达基数是靠插入大基数公理）才能得到的阶层，则被写作0&0（1）！
0&0（1）、0&0（1）_0、0&0（1）_1、……等等等等，都需要种类不同的全新的、一种比一种更为强大的增长方式才能得到！
如此类推（虽然说也类推不了），后续还有0&0（2）、0&0（3）、……等等等等一系列阶层，我们可以如同迭代阶层一般去迭代它们。
甚至是这样——
定义阶层体系：0&0（0）=阿列夫数，0&0（0）_0=阿列夫阶层体系，………等等等等，三卷47章里对于焰愿心二阶盒术的各种自指（自我迭代，用焰愿心二阶盒术去迭代焰愿心二阶盒术）的方式也可以魔改一下后套给阶层体系。
穷尽上述的一切事物之后，我们才能堪堪、勉强望到阿列夫第一个不动点的门槛！
而这仅仅是第一套阿列夫阶层体系，后面还有第二套、第三套、……等等等等，阿列夫不动点有多少就有多少套等势于阿列夫不动点的阶层体系！
换句话来说，阿列夫不动点的“势”有多大，那么第n套阿列夫阶层体系里n的数量就可以达到多大！
定义阶层体系：0&0（0）=阿列夫阶层体系，0&0（0）_0=阿列夫不动点阶层体系，………………。
（定义计算器或计数器：
φ（0）＝阿列夫，φ（1）＝阿列夫不动点，……）
……
人类现代数学里说不可达基数的定义（先不说本书里的绝对不可抵达、繁复的迭代方式、复杂而又无可定义的不可达基数……仅仅是有限台阶里的任意台阶都完爆这个）——
弱不可达基数：
若N_α为不可达基数，则cf（α）＝α，α是极限序数。
因为cf（N_α）≤N_α，N_α≥α，所以N_α＝a。
强不可达基数：
如果正则基数κ满足：κ＞N（N为任意弱不可达基数。），λ＜κ，且2^λ＜κ，则κ是强不可达基数。
在这里λ是无穷基数，包括弱不可达基数。
弱紧致基数（有限台阶同样完爆这个）——
以κ代指弱紧致基数。
对于任意用到≥κ个逻辑符号的语句集L，当其每个子语句集都具备语言模型，那么我们成κ为弱紧致基数。
弱紧致基数具备如下性质：
对任意基数γ，γ＜κ，且n＜ω，κ具有分划性质：κ→（（κ）^n）_γ。
κ的可测性强于强不可达基数。
κ是特殊的强不可达基数。
κ有弱超滤性质。
κ有超滤性质。
κ有树性质。