>>734の続き
>纏めると、
>ノイマン宇宙Vは、ZFCにおいて できる順序数と極限順序数（基数）とを、全部列挙して
>順に冪集合P(Vβ)と和を超限回繰り返してできる 集合の集まり（クラス）のことだ

ひとつ肝心なことが抜けてる
すべての順序数の集まりΩは
o∈Ωならば2^o∈Ωという強到達不能性
を有している、ということ
（そうでないと、べき集合をつくったときＶからはみ出ちゃうから
集合全体のモデルにはなりえない）

これいわないと、大学院の口頭試問で落とされるよ
先祖が広島の廿日市から神戸に移住した世田某

>ここで、このノイマン宇宙V内の基数を 到達”可能”基数と呼ぼう

これダメ　大学院の口頭試問で行ったら落とされるよ
先祖が広島の廿日市から神戸に移住した世田某

o∈Ωならば2^o∈Ω、とはいったけど
o∈Oならば2^o∈O、となる順序数Ｏ∈Ωは存在しない、とはいってないよ

実は
o∈Oならば2^o∈O、となる順序数Ｏ∈Ω
が集合としての強到達不能基数

そして、ノイマン宇宙Ｖ内の基数に強到達不能基数が存在しないとは証明できない
つまり、存在していても全然ＯＫ！

>強到達不能基数κは、到達可能基数の上位で ノイマン宇宙Vからは到達できないってこと

つまり、これウソ
初歩で間違っちゃったね
先祖が広島の廿日市から神戸に移住した世田某