20/02/15 05:27:13 z68esjXF.net
> M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY IV: LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
(August 2012)
p.43
> ...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 in
> fact holds in the original ZFC-model" ...
これかな