1关于“计算器或计数器”。
我以前说过，“0，也就是0阶命题无论是什么东西，只要涉及到递归、迭代等等等等都可以看成是一种递归函数或迭代函数，而在算术阶层里，0是一切递归与迭代的层级，因此计算器或计数器仅仅只是0。”
也就是说，计算器或计数器仅仅只是0级，上面还有1、2、……等等等等参考三卷44，无止境无休止。
那么自然，计算器或计数器也有相应的1版本、2版本、……等等等等，无止境无休止。
例如：1是枚举函数，所以1版本的计算器或计数器应该叫做“枚举器”。
叠盒子或类似行为，比如说盒术、吹逼啥的，都属于递归，也就是0。
我提出一个观点，
你反驳我的观点或反驳并提出其他观点
我反驳你的反驳或反驳你的观点
……如此类推，
这种行为也都属于递归，从这种角度来看，对线、撕逼啥的，也都是递归，“你赞同我的观点，并对我的观点进行补充”也属于递归。
加减乘除、开方、次方、三角函数、高德纳箭头、康威链、数阵、、鸟之记号、……等等等等，都属于“递归函数”。
因此自然也存在相应的1版本、2版本、……等等等等，无止境无休止。
妄想序列万物皆可版本。
2没有。
“没有设定/概念/吹逼/盒子/等级/境界/叙事/……”“超越设定/概念/吹逼/盒子/等级/境界/叙事/……”“无视设定/概念/吹逼/盒子/等级/境界/叙事/……”“不需要设定/概念/吹逼/盒子/等级/境界/叙事/……”“超脱设定/概念/吹逼/盒子/等级/境界/叙事/……”“超然设定/概念/吹逼/盒子/等级/境界/叙事/……”“凌驾设定/概念/吹逼/盒子/等级/境界/叙事/……”“………………”等等等等之类的，其实也是一种设定/概念/吹逼/盒子/叙事/………………，因为在一个摹状词陈述事物的时候，我们在前面加上的关于存在的指称词是被称为约束变项的东西，比如没有，全部，唯一。在摹状词指称东西的过程中肯定会有所指，无论约束变项的值时零抑或是无限他都有值，所以这些也都是一种设定/概念/吹逼/盒子/叙事/………………。
3授人以鱼不如授人以渔。
问：伯克利基数之上的基数该怎么构造？
答：那看你想得到什么，最简单的任何基数取幂都会大于自身。
问：如果高大上一点呢？
答：大于它的世界基数，世界基数k是使得k是的模型的k，若k大于一个伯克利基数，则k满足存在伯克利基数的完备性定理，存在伯克利基数无法证明也无法证伪k存在的不完备定理。
这也就是相对伯克利基数而言的大基数。
4对于集合论里各类大基数的一些补充。
伊卡洛斯基数是体系下允许存在的最大一类基数，莱茵哈塔基数和伯克利基数违背选择公理，因此不能存在于中，甚至还可能违背正则公理，如果是真的话便会导致它们在下也不能存在。
1基数是1到自身的初等嵌入，而unen定理禁止2到自身的初等嵌入，于是出现了两条路：代达罗斯之路就是回到超紧基数以下研究，伊卡洛斯之路就是在1和2之间挖掘这两个名字有来头，可以百度。后者能挖掘到的最大基数即为伊卡洛斯基数。是可构造性宇宙，是最小的内模型，如果承认，那么会导致很多和体系相容大基数不能存在，在“更大即更好”的思想的驱动下，数学家们更愿意研究这些大基数，而不愿意把自己囚禁在中，于是便有了对的扩张，从而获取更大的内模型满足这些大基数公理。
内模型计划寻找的就是终极，即的终极扩张，使得它能满足与相容的所有大基数公理。目前内模型计划已经有了比较大的突破，详情可关注ughin的工作。若找到了这样一个终极，并宣称它和相等，莱因哈特及以上的大基数便会违背当前所有集合论体系，被驱逐出集合论。
定义计算器或计数器：
01，12，……
0内模型，1内模型计划，……
0“”，1“终极”，……
5二阶算术。
把无限条数学归纳公理，在二阶语言中写作一条，就是二阶算术，后续还可有三阶算术、四阶算术、…………等等等等，无休止无止境。
定义计算器或计数器：
0算术，1算术系统，……
0算术，1算术阶层，……
0低阶算术，1高阶算术，……
0图灵，1图灵阶层，……
0命题，1命题阶层，……
6世界阶层。
本章未完 点击下一页继续阅读