>>356
>ノイマン宇宙Vを、集合論の宇宙というなら、
>そこでは、強到達不能基数をみとめようがみとめまいがクラス

正直 その議論は 大して意味がないと思う
つまり、「鶏が先か卵が先か」 みたいなことだね

ポイントは下記二つ
１）”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals.”
　つまり、ZFCを超えるグロタンディーク宇宙を考えて ZFCでの”真のクラスを回避する方法として導入した”
２）グロタンディーク宇宙の考えは 基礎論屋さん”the existence of strongly inaccessible cardinals”と結びついた

繰返すが 普通の (strongly inaccessible cardinals が存在しない) ノイマン宇宙Vの中の集合を 全て含み かつ
Vでの”真のクラスを回避する”ものだということ■

(参考)
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
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。

https://en.wikipedia.org/wiki/Grothendieck_universe
A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. In fact, uncountable Grothendieck universes provide models of set theory with the natural ∈-relation, natural power set operation, etc. Elements of a Grothendieck universe are sometimes called small sets. The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. 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.

The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals.
Tarski–Grothendieck set theory is an axiomatic treatment of set theory, used in some automatic proof systems, in which every set belongs to a Grothendieck universe.
The concept of a Grothendieck universe can also be defined in an elementary topos.[1]

（ついで）
>>351 タイポ訂正

無碍公理
　↓
無限公理