>>497-498
>well-definedではないZFCGを使うんだったら

ふっふ、ほっほ
妄想のお二人 基礎論ど素人さんｗ

『well-definedではないZFCG』？
まず、下記の 薄葉季路（早大理工） 2017春
最後から２枚目と最後とをみてちょ

21世紀のいまどきの 基礎論 宇宙の話が分かるから
分からない人は、薄葉季路先生に聞いてくださいね

基礎論ど素人さんが、妄想でグダグダ言ってもねｗ ；ｐ）

そもそも 下記のIUT IVの Bibliography [McLn] を否定するつもりかい？
ならば、論文かきなよ 『[McLn]は 間違いだぁー』ってよｗ　（＾＾

(参考)
https://www.mathsoc.jp/section/logic_and_history/Tokubetu.html
日本数学会
数学基礎論および歴史分科会 特別講演
2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
https://youtu.be/WQzlEj1g71M?t=1
発表スライド『集合論の宇宙　Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf

https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
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.

Bibliography
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).