20/02/19 01:04:17.19 31eA0fZN.net
>>787
横レスですが、
ZFCについて、かなり昔で、2012年に Terence Taoが「IUTT-IVの最後の部分で、
Section 3(page 43)のリマーク 」で、望月が「グロタンディーク集合論によるZFCの拡張である」と
主張しているところは精確ではないと、下記ブログで書いてたが。
URLリンク(quomodocumque.wordpress.com)
でもTerence Taoが、同じブログに「ABC予想に関してはSection 2までに証明されているから、
abc予想の証明には関係ない」と書いてた。
他で指摘があるのかな?