応援スレで決着済みのことを、いつまでも引きずっているねー。
320１３２人目の素数さん2020/05/09(土) 07:01:44.31ID:/BYRDNlz>>323>>324

ZFCの話題は、本スレのInter-universal geometry と ABC予想 52 の324から始まっている。
（前略）
＞テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが
＞あと上でもあったけど専門外がIUTなんて理解できないっていうのはまんまIUTのラスト部分に跳ね返ってる
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってるという

しかし、Terence TaoがGoogle+で、ZFCについて述べてた内容を述べてないね。
今はGoogle+ないけど、下記のリンクのSpecific topicsで残っている。

https://asone.ai/polymath/index.php?title=ABC_conjecture

*************************************************
The last part of (IUTT-IV) explores the use of different models of ZFC set theory in order to more fully develop inter-universal Teichmuller theory (this part is not needed for the applications to the abc conjecture).
There appears to be an inaccuracy in a remark in Section 3, page 43 of that paper regarding the conservative nature of the extension of ZFC by the addition of the Grothendieck universe axiom; see this blog comment.
However, this remark was purely for motivational purposes and does not impact the proof of the abc conjecture.
************************************************
（DeepL翻訳）
(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、より完全に普遍的なテイヒミュラー理論を発展させることを検討しています（この部分はabc推論への応用には必要ありません）。
この論文の第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、このブログのコメントを参照してください。
しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。