>>569 もどる
>（グロタン宇宙はノイマン宇宙の中の集合の1つなんだけどね）

(ですね)人は、ほんと倒錯しているよね
なんにも分ってない
それじゃ 箱入りが分らないのも無理ない

(参考)
https://en.wikipedia.org/wiki/Grothendieck_universe
（部分google訳）
グロタンディークの宇宙

グロタンディーク宇宙は、あらゆる数学を実行できる集合を提供することを目的としています。実際、非可算なグロタンディーク宇宙は、自然な∈関係、自然な冪集合演算などを備えた集合論のモデルを提供します。グロタンディーク宇宙の要素は、小集合と呼ばれることもあります。宇宙の概念はアレクサンダー・グロタンディークによるもので、彼は代数幾何学における適切なクラスを回避する方法として宇宙を用いました。グロタンディークの当初の提案は、集合論の通常の公理に次の宇宙の公理を追加することでした。すべての集合に対して
Grothendieck’s original proposal was to add the following axiom of universes
to the usual axioms of set theory:
For every set s, there exists a universe
U that contains s, i.e., s∈U.

非自明なグロタンディーク宇宙の存在は、ツェルメロ・フレンケル集合論の通常の公理を超えており、特に、強く到達不可能な基数の存在を意味する。タルスキ・グロタンディーク集合論は、いくつかの自動証明システムで使用される集合論の公理的扱いであり、すべての集合がグロタンディーク宇宙に属する。グロタンディーク宇宙の概念は、初等トポスでも定義できる。[ 1 ]

Grothendieck universes and inaccessible cardinals
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.

つづく