论外三线
阿列夫一→代表所有实数集合的基数
阿列夫二→代表所有曲线集合的基数
……
阿列夫无限
……
阿列夫不动点
……
论外二线
不可达基数→属于公理集合论领域的不可数的、正则的强极限基数
马洛基数
……
强展开基数
……
伊卡洛斯基数
论外一线
伊卡洛斯基数
超级莱茵哈特基数
伯克利基数
宇宙V
论天下→大于V
论天中→脱殊复宇宙
论天上→逻辑多元