>>510
そういうのもあったんだ
俺が見たのはIUT理論だと∈の無限降下列を完全に認めてるという意見だったから
ZFCGがZFCの保存拡大てのはこのスレでも何度か読んだことあるけど、具体的に論文のどこを指して、その誤った仮定は証明の中のどこで使われるの？