>>341-342
>>For any ordinal number β, let Vβ+1 be the power set of Vβ:
>>Vβ+1:=P(Vβ),

そこ >>337に書いたけど
en.wikipedia.org/wiki/Von_Neumann_universe
が バグっているかもしれん
なので、撤回するよ
ja.wikipediaの方が正しいかも

(引用開始)
>2）要するに GCHは ZFCの内部の話で、巨大基数はZFCの外の話です
まるで嘘なんですが・・・・
ZFCに巨大基数が有っても無くてもどちらもあり得るのですが
ZFCの上で公理UとGCHは両立しないことが証明されてますよ
(引用終り)

1）”ZFCの上で公理UとGCHは両立しないことが証明されてます”は、何の反論にもなっていない
　即ち、GCHも 巨大基数も ZFC公理系からは 独立で そのままではZFCから導けはしない
2）巨大基数は、ノイマン宇宙の外だから 到達不能（以上）なので 導けない
　一方、GCHとは 一般連続体仮説であって
　例えば
　基数で 可算無限 自然数N＝ℵ0で、連続体（実数）R＝2^N で
　ℵ0とR＝2^Nの間には 順序数は存在すれど 基数は存在しないという主張だね
　いま、ℵ0とR＝2^Nの間にあるとする基数を 仮に ”不純物基数”と 名付ける
　つまり、連続体仮説を採用しないと ZFCままでは ”不純物基数”が 存在するわけだ
　連続体仮説 は、 ”不純物基数”を排除するってことだね
3）『ZFCの上で公理UとGCHは両立しないことが証明されてますよ』かよ
　その議論は めんどうなので、こちらとしては 「両立しないならば、GCHは捨てる」ってこと■