第一篇章数学阶层 (9-9)

　　nonprojectible序数：还是可数序数，L_α满足某个比KP强一点的理论。

　　ω-Erdös基数：小于它总有无穷多个无法通过任何方式分辨的序数

　　拉姆塞（拉姆齐？）基数：小于κ总有κ个无法通过任何方式分辨的序数

　　“缝隙”序数（gapordinal）：是可数序数。我们发现序数α会从L_α到L_（a+1）竟然没有创造新的自然数集合（即，叠α层盒子之后再叠一层竟然叠不出一个新的自然数的集合）

　　Σ_2正确基数：V_（这玩意）和真·整个集合论宇宙V“差不多“，而且是非常非常差不多L_α满足ZFC：这里有点意思。它是可数序数，也就是叠可数层盒子之后满是ZFC…可是ZFC明明能证明不可数序数的存在。那也就是说某个不可数序数在这里是可数的，而某个可数序数是不可数的。

　　（啥？）

　　已经有人证明，有个比这小的序数真的不存在与ω的双射，然而我们知道它是可数的…

　　莱因哈德特基数：V和它自己的复制体有点相似，又有点不同，相似在所有在前者正确的事情在后者里都是正确的，不同在某个基数变成了别的东西。变成别的东西的那个基数叫来因哈德特基数。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。