20/05/10 11:33:44 mjl0bfS3.net
>>378
「ZFCGはZFCの保存的拡大ではない」に行きます
（>>385より）
（参考：本スレより転載）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:606番)
(抜粋)
606 名前：１３２人目の素数さん[] 投稿日：2020/05/09(土) 17:57:38.91 ID:/BYRDNlz
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
と書いてガゼで主張しただけだよ。
IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。
concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”
(引用終り)
要するに
１．>>399に示したように、ZFCGは グロタンディーク宇宙を導くための公理系でりまして
２．大きすぎない集合の範囲で圏論を展開するために導入した（>>397）ってことなので
３．グロタンディーク宇宙は、「公理系 ZFC からはこの宇宙の存在を証明できない」（>>397）
４．したがって、ZFCGは ZFCの保存拡大ではない！（non-conservative extension）
QEDｗ（＾＾