>>375-376
>流石に勢いは無くなっていますが。

・リアル界とバーチャル（5ｃｈ）とを区別しましょう
・リアル界（現実）のIUTは勢いあるよ

>一応現代数学は帰納的でない集合論のモデルが少なくとも一つ存在する事、それはBGC公理系を満たす事を前提としてその内部で理論を構築するのが大前提

Grothendieck宇宙でしょ？
IUTは圏論を使う
だから、BGC公理系の外でしょ

つづく