20/05/08 08:15:40 g/NZ4Ytw.net
>>231
>Grothendieck school as a ZFCG-model. This existence axiom (†G) implies, in particular, that:
ZFCGが、ZFCの保存的拡大という記述は、いま(2020年版)は無くなっているし
下記の”ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない”って話は、”個”の定義の話だと思うよ
それと、初期と今(2020年)とは記述が変わっているのかもね(^^;
(参考)
URLリンク(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
以下の問題点が指摘されている。
・ 同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
・ ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない可能性があるという意見がある。(ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。)
(引用終り)