>>337
いろいろ書いてますが
>まず、余談だが、en.wikipedia ”Vβ+1:=P(Vβ)”は、間違いだね
間違いとかでなくて定義の一部
>ja.wikipedia Vα:=⋃β<αP(Vβ)が正しい
正しいとかいう話でも無くてこれで同値な定義ってことだけど？
ところで
これが「正しい」っていうか同値な定義だってのは理解できてる？
ちょっと証明して見せてくれないかな
>（一般連続体仮説を採用しないと 冪集合とったら β+1 いえない。というか βが基数としてもだが）
β＋1ってべき集合関係ないけど？