20/05/09 19:51:01 NFbqSkQk.net
「公理が9個」と 「ZFCGがZFCの保存的拡大」と
本スレ（下記）で、ようやく決着したようだね（＾＾；
（参考）
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板:584番)
588 名前：１３２人目の素数さん[sage] 投稿日：2020/05/09(土) 17:14:37.57 ID:JNaCPHC5
>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際～axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい
あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
ｽﾚﾘﾝｸ(math板:606番)
606 名前：１３２人目の素数さん[] 投稿日：2020/05/09(土) 17:57:38.91 ID:/BYRDNlz [5/5]
>>588
ZFCの話は、2012年のタオの指摘に乗っかって、
>>324が
＞案の定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”
＞ZFCの9個の公理
のIUT-4の記載部分は、投稿版も最終版も、以下記載だったが、修正されてないので此処は問題でないよ。
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
だいたい [Drk], Chapter 1, §3].の出典元の引用で、些末なことで、タオが此処を問題しないと思うよ。
だから確認したら、此処とは違うところの指摘だよ。
＞ZFCの9個の公理だの間違えまくってる、は、>>324の意見に過ぎないよ。
それにタオの指摘で直ってなければ、>>324氏ではなくて、
Woitブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ ｗ