>>380
面白いね
その ものいいは
以前、アンチIUTの論客だった”基礎論くん”かな

”Grothendieck宇宙でしょ？
IUTは圏論を使う
だから、BGC公理系の外でしょ”>>378より
は、合っているよ。下記のIUT IV P67に記述があるよ

(参考)
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. Shinichi Mochizuki (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
In the following discussion, we shall work with various models — consisting of “sets” and a relation “∈” — of the standard ZFC axioms of axiomatic set theory [i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice — cf., e.g., [Drk], Chapter 1, §3]. We shall refer to such models as ZFC-models. Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf. [McLn], p. 194]:

We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model.
(引用終り)