>>392-394
面白いな、君たち

　>>377 より
iut本体も問題
一応現代数学は帰納的でない集合論のモデルが少なくとも一つ存在する事、それはBGC公理系を満たす事を前提としてその内部で理論を構築するのが大前提
その範囲内ならいくらでも好きな事すればいいがIUTではいろんな宇宙？model?が存在する事を仮定してぐるぐる取り回すという
(引用終り)

・アホじゃね？
　BGC公理系は、>>379 の 第3章 集合の演算 尾畑研 東北大 https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-3_shugo-enzan.pdf
　で、「ベルナイス ゲーデルのBG公理系に選択公理を加えたものをBGC公理系としよう」
・BGC公理系は、ZFC の保存拡大である（下記）
　一方、圏論の場合ZFC の外で、グロタンディーク宇宙がよく使われる（下記）
・望月氏が、IUT IV で説明している通りで（>>386より）”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.”
　は、この話だよ。BGC公理系？ アホじゃんｗ

つづく