>>33 追加

下記の 巨大基数的性質の一覧 が 参考になる
だろう
『"小さい" 基数: 0, 1, 2, ..., ℵ0,ℵ1,..., κ=ℵκ, ... (アレフ数参照)』
にも ご注目
これは、カントールが無限集合論で 論じたもので
ノイマン宇宙Vの内部です

(参考)
https://ja.wikipedia.org/wiki/%E5%B7%A8%E5%A4%A7%E5%9F%BA%E6%95%B0%E7%9A%84%E6%80%A7%E8%B3%AA%E3%81%AE%E4%B8%80%E8%A6%A7
巨大基数的性質の一覧
巨大基数的性質の一覧では巨大基数的性質を列記する。
→「巨大基数」も参照
巨大基数は、与えられた性質を持つ基数の存在を主張する公理の無矛盾性の強さの順序によっておおよそ線形に整列させられる。ある性質の基数κの存在は、その性質の以上に列挙されている大部分の性質の基底関数の存在を意味し、より無矛盾性の弱い基数定義に対して、Vκ は「φを満たす基数の階層が無限に存在する」ことを満たす。
以下の一覧は基本に無矛盾性の強さの順序に基数を並べたもので、同じ順序となるものは濃度の順で並べた。いくつかの基数 (強コンパクト基数など) の間では、正確な無矛盾性の強さの順序がわかっていないため、一覧は現在の最良の推測値を採る。
・"小さい" 基数: 0, 1, 2, ..., ℵ0,ℵ1,..., κ=ℵκ, ... (アレフ数参照)
・弱/強到達不能基数、α-到達不能基数、hyper-到達不能基数
・可測基数, 0†ゼロ・ダガー https://en.wikipedia.org/wiki/Measurable_cardinal
以下のさらに大きな巨大基数の性質は、選択公理によって否定されるが、それらの存在はツェルメロ＝フレンケルの公理系のみ（すなわち、選択公理を使用せずに、ZF）では否定できない。
・Reinhardt基数, Berkeley基数