>>736
>>いま あるTheorem Aの証明Proof Aがあったとする
>しかし、それにはギャップがあった　これが第一の指摘

違うよ
Scholzeが言っているのは
https://zbmath.org/07317908
Mochizuki, Shinichi
Inter-universal Teichmüller theory. I: Construction of Hodge theaters. (English) Zbl 1465.14002
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
Reviewer: Peter Scholze (Bonn)

“Why ABC is still a conjecture”
[https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf ]
P4
2.1.Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion,we will describe (only) the notions that are strictly relevant to explain what we regard as the error.
This will involve certain radical simplifications, and it might be argued that such simplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.

P9
2.2. Proof of [IUTT-3, Corollary 3.12].
Now let us try to unravel what happens in the critical step in the series of papers,・・
略す
(引用終り)

つまり、まず ” radical simplification”ありきで
次に 2.2. Proof of [IUTT-3, Corollary 3.12] に おいて
”let us try to unravel what happens in the critical step in the series of papers”
の論証に進む

なので、Scholzeは 望月の”ravel”が 意味がないと主張している

一方 望月側は >>6 より
https://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf
[10] 数論的log schemeの圏論的表示から見た楕円曲線の数論　（北海道大学 2003年11月）. PDF
P1
§1 圏のIU幾何
§1.1 Motivation
"F1上のキカが必要"
　↓
"「属性方程式」a∈aを解きたい"
→”通常の集合論を拡大する必要が有る”
§1.2 IUキカによる「解消」：一言でいうと 宇宙(universe)の拡大を使ってラベルを貼る
(引用終り)

であって、わざわざ”ラベルを貼る”を 2003年の北大出張講演で言っているのに
おまえは アホかとｗ