数学無関係な完全な素人なので、IUTの中身何も分かってないんだけど、
望月の書いたIUTへのいざないを読んだ時、
「…は存在しない!。が、仮に存在する!!と仮定しよう..」
の所に強烈な違和感を感じた。

ショルツの指摘って、つまるところその部分がおかしいっていってるの？

また、望月の上記推論と同じ構成をしている正しい初等的な証明があったら教えて下さい