20/04/08 00:11:03.40 OUJdWW/X.net
Scholzeがこれ以上間違いの精査に時間を費やすとは思えないけど、
Scholzeの指摘が集合論部分に及んでるのが気になるんだよね
集合論部分のミスはabc予想に関するものとはまた別のミスでなんじゃないか、
っていうのが昔の（どの時期かと明確には言えないが）雰囲気だったので、
集合論部分のミスが明確でもCor3.12のミスが明確であるとは言えないと俺も思ってたわけよ
だけどScholzeの指摘をみるかぎり望月がなにか変な集合論を前提にしていて、
その集合論観が明確に間違っていること（＝ZFCGがZFCの保存的拡大であるという誤解）
は既に指摘済みなのだからCor3.12も一気にあやしくなってきている