>>750
>馬鹿。
>グロタン宇宙Uの定義からUは整礎集合であることは言えない。
>整礎集合全体のクラスであるノイマン宇宙Vの元か否かはひとえにUが整礎か否かで決まる。
>一方ZFCのモデルであるようなUは正則性公理を充足する。必然U自身も整礎。よってU∈V。

バカは君
ワードサラダ
下記の議論は、断りがないが デフォルトで ZFC公理系を採用した議論
ZFC公理系には デフォルトで 正則性公理が含まれている（含む含まないは別の議論）
ゆえに、整礎うんぬん あほかいな
何にも分っていないね きみ

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
より形式的に言えば、次の2つの公理が同値である:
(U) 任意の集合 x に対して、x∈U となるグロタンディーク宇宙 Uが存在する。
(C) 任意の基数 κ に対して、κよりも巨大な強到達不能基数 λが存在する。
この事実を証明するために、関数
c(U)
を以下のように定義する:
略
強到達不能基数 κ が存在するとする。集合
S が任意の列
sn∈⋯∈s0∈S
に対し
|sn|<κ
となるとき、型
κ であると呼ぶことにしよう。(S 自身は空列に対応している。) すると、型
κ である集合全体の集合 (Uκ) は濃度
κ のグロタンディーク宇宙となる。(この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
略
実際、任意のグロタンディーク宇宙はある濃度
κ に対し
u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:
グロタンディーク宇宙
Uに対して、
|U| は零、ℵ0、もしくは強到達不能基数のいずれかとなる。また、
κ が零、ℵ0、もしくは強到達不能基数ならば、グロタンディーク宇宙
u(κ) が存在する。さらに、
u(|U|)=U
かつ
|u(|κ|)|=κ
となる。
強到達不能基数の存在は ZFC からは証明できないため、空集合と
Vω 以外の宇宙の存在はどれも ZFC から証明することができない。
κ に対して、
κよりも巨大な強到達不能基数
λが存在する。

https://en.wikipedia.org/wiki/Grothendieck_universe
Grothendieck universe
Since the existence of strongly inaccessible cardinals cannot be proved from the axioms of Zermelo–Fraenkel set theory (ZFC), the existence of universes other than the empty set and
Vω cannot be proved from ZFC either. However, strongly inaccessible cardinals are on the lower end of the list of large cardinals; thus, most set theories that use large cardinals (such as "ZFC plus there is a measurable cardinal", "ZFC plus there are infinitely many Woodin cardinals") will prove that Grothendieck universes exist.