>>990

Peter Scholze

I do not think that there is a real error internally in IUT IV.

real error 　→　〇：真のエラー、×：とりあえず矛盾　

ペーター　ショルツェ
私はIUT-Ⅳ内に真のエラーがないと考える。

・IUT-Ⅲを使って、IUT-ⅣでABC予想の不等式をつくるので、IUT-ⅣにはIUT-Ⅲを前提で含んでいる
・従い、IUT-Ⅳ過程とIUT‐Ⅳに至る過程の前提にも、真のエラーがない