Inter-universal geometry と ABC予想 (応援スレ) 52

>>199
その喩えだと
「望月のIUTが不十分」
ってことになるけど、それでいいの？

要するに
「ZFだと可算選択公理すら導けない」
っていってるよね？

つまり
「IUTだとCor 3.12は導けない」
っていってるようなもんだよね？

自爆？