>>744
レスありがとう
正直言ってIUTTはよくわからんので、↓のHPの以下の指摘・意見はどうなんだろう？
ttps://www40.atwiki.jp/tock_t9710/pages/1593.html
----------引用開始----------
以下の問題点が指摘されている。

・同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
・ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。

これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV
の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない
可能性があるという意見がある。（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
---------引用終了-----------