@ychfugug @某74º 怎么样?

来啦！

赞，dd

以现有的数学体系，讨论的各种数学对象一般由小到大分成四个宇宙。
第一个宇宙是有限数的宇宙，以ω为上界，各种大数表示法产生的数都在这个宇宙内。
第二个宇宙是可计算宇宙，以ω_1^CK为上界，ω,ω^ω,ε0,ζ0,φ函数以及各种OCF(包括Bachmann、Buchholz、Madore、Weiermann、Rathjen的)，还有TON，以及各种理论的PTO，产生的序数都在这个宇宙内。
第三个宇宙是可数宇宙，以ω_1即阿列夫1为上界，并选取高度ω_1反射整个L. ω_α^CK、高阶反射序数层级(包括Π_n^m-ref和Σ_n^m-ref)、庞大的stable层级(比如(+α)-stable、(+)-stable、λx.f(x)-stable、α-ply-stable以及搭建在stable上的反射序数层级)、nonprojectable性质的序数、gap层级、各种较强理论高度序数都在这个宇宙内。
第四个宇宙是大基数的宇宙，这里再分出三层，第一层是小大基数，即与V=L相容的大基数，它们都小于0#，比如不可达基数、弱紧基数、不可描述基数、不可折叠基数、Ramsey基数、subtle基数、Jonsson基数；第二层是大大基数，即与ZFC允许但与V=L不相容的大基数，以Icarus集合为强度上界，比如可测基数、Woodin基数、强紧基数、可扩基数、巨大基数、高跳基数、阶对阶基数，第三层是非选择基数，即违背了选择公理，触发Kunen不一致的基数，包括Reinhardt基数和Berkeley基数。
至于真类宇宙，也有好几个，比如序数宇宙ON、可构造性宇宙L、遗传序数可定义宇宙HOD、良序宇宙WO、良基宇宙WF、ZFC最大内模型终极L，以及合法集合宇宙V，这里面当然V最大最丰富，但其实这些真类宇宙的大小都会因为理论而改变。

顶

自顶