1关于可数无穷里，“可数”之意的略解随笔。

可数不只是1234，而是通常的无限倒推、无限倒推、无限推导、无限前进等等等等都是，如“原因都有原因”、“解释都要解释”，概念上的自我应用都是可数。

显然，终极存在之问再问都不至于不可数链，这还是一个可数模式。

定义计算器或计数器：

0无限倒推/无限倒退，1无限推导/无限前进，……

0无限推导/无限前进，1无限倒推/无限倒退，……

2问曰：可以给每一个真类都指派一个序数吗？

答曰：不能，真类的数量多余所有序数的数量。

3那么我们假设可以或者使之强行可以，则可以获得如下定义：

rlass，存放所有序数的序数的容器给每个序数指派一个序数，

rype1，存放所有集合的序数的容器给每个集合指派一个序数，因为集合多于序数，所以该阶层远大于上一个阶层，

rype2，存放所有真类的序数的容器给每个真类指派一个序数，因为真类多于序数、集合，所以该阶层远远大于上一个阶层，

……

后续还有r、r、……等等等等，无止境无休止，我们还可以定义计算器或计数器、阶层体系等来进行迭代！

例如：

定义计算器或计数器

0r，1r，……

0ype1，1ype2，……

0lass，1ype1，……

0序数，1集合，2真类，……

在没有序数系统的自嵌入之前，我们大可以宣布r，r1，rr，r之类的记号都只是记号而已，只是说明序数的无限性，还能继续让你数下去的记号

但因为有自嵌入，这些记号也就没办法再假装是没有意义的记号而必须是对应真实的序数，而你很难再相信r之内还真的拥有这些序数

这段话里的“r”替换成“r”、“r”、……等等等等，也成立。

当然，我们亦可以反过来。

从数量上来看，序数集合真类。

但若是我们强行给每一个集合、真类等指派一个序数，纵使没有那么多序数，我们也可以强行创造序数来进行“指派”这些被创造出来的序数也是序数，那么所有序数的数量必然大于集合、真类的数量，所以

rlass，存放所有集合的序数的容器，

rype1，存放所有真类的序数的容器，

rype2，存放所有ype1的序数的容器，

……

如此类推，无止境无休止，也可以定义计算器或计数器、阶层体系等等等等。

例如：

定义计算器或计数器

0集合，1真类，2序数，……

4定义计算器或计数器：

0定义计算器或计数器，1定义阶层体系，……

定义阶层体系：

0&00定义阶层体系，0&000定义计算器或计数器，……

5

一阶模型是序数模型、基数模型、大基数模型、……等等等等，二阶模型是形如，，这样的东西，那些真类如r。

一阶量词的辖域是，二阶量词的辖域就旁边的。

这里“”的含义，就是冯诺依曼宇宙的那个、、终极的那个！

定义计算器或计数器：

0一阶量词，1二阶量词，……

0，1，……

0一阶模型，1二阶模型，……

6定义型计算器或计数器：

0ray数，1ray数，2ray数，……

ray数raynn个字符所能定义的最大有限数。

ray数raynn个字符所能定义的最大可数序数亦或是最大可数无穷。