>>351
まだやるの？　初歩から分かってないから無理なのに

>・グロタンディーク宇宙の文脈では、宇宙は集合である
グロタンディーク宇宙は集合である　言葉は正確に

>・和文で 巨大な強到達不能基数λと表現して 巨大基数の公理 (C) とうたう 即ち ” 巨大な強到達不能基数λ”は 厳密な意味での 強到達不能基数ではない（巨大基数の一つ）
また勝手読みして妄想に走ってる。定義や公理の主張内容を確認しないからそうなる。
正しくは、
・強到達不能基数とは強極限基数かつ正則基数。
　κが強到達不能基数なら基数κ+1は強到達不能基数ではない。実際、後続基数は強極限基数でない。
・巨大基数公理は、任意の基数より大きい強到達不能基数の存在を主張。
　この公理より、任意の基数λに対して強到達不能基数の無限上昇列 λ<κ0<κ1<・・・ の存在が帰結される。

>・英文”Furthermore, u(|U|)=U, and |u(κ)|=κ.”で、 ここも 重要ポイント。（|U|は、集合Uの濃度）
>　つまり、グロタンディーク宇宙の文脈では |u(κ)|=κ つまり 集合|u(κ)|の濃度κ
違う。
ここで何を言ってるかというと、任意の濃度xに対してx=|U|を満たすグロタン宇宙Uはたかだかひとつ、と言っている。

>　（余談 和文”すべての遺伝的有限集合 の集合 Vω”では、Vω中にはωは含まれない。
だからそう言ってるじゃん。もし含まれてたらいずれかの有限階層Vnに含まれてることになり矛盾だと。

>無碍公理が無ければ 自然数Nの存在証明がない。
それはまた別の話。理論とモデルをごっちゃにしちゃダメ。
存在証明が無いことと、モデルにωが存在することは矛盾しない。なぜかわかる？　モデルの定義を読めば分かる。勝手読みしたら分からない。

>ωは集合ではない。
これも大嘘。
公理から存在証明できないことと存在反証できることを混同している。
公理から存在証明できないことは非集合の根拠にならない。存在反証できてないから。
集合と仮定して矛盾が導けるなら非集合の根拠になる。存在反証できてるから。

>　が、無碍公理があれば ωは集合である。同様に 強到達不能基数λが公理として与えられたということは λもまた集合だということ）
いわずもがな。