20/05/09 07:03:13 /BYRDNlz.net
>>315
>些末な話よ
指摘したTao自身が「(IUT-?で)第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、ZFC拡張は証明に影響を与えるものではない」と言ってるしね。 w
下記DeepL翻訳の「このブログのコメントを参照してください」での記憶だけど、
>(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、
より完全に普遍的なテイヒミュラー理論を発展させることを検討しています
(この部分はabc推論への応用には必要ありません)
のところで、
「○○節までにABCの証明が終っており、第3節43ページ以降は付け足し」