>>722
ほれ、
↓

0012 １３２人目の素数さん 2024/04/14(日) 13:04:17.86
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‐?に至る過程の前提にも、真のエラーがない
ID:scyNFM/R(3/4)
0013 １３２人目の素数さん 2024/04/14(日) 13:05:01.74
IUT勝利
ID:scyNFM/R(4/4)