>>373 私も昨日読んで見つけていたが、先に気づいてたか。

高木氏の論文を初めてじっくり読んでみたんだけど、
〇論理や計算の途中過程で、正しい場合でも省略が多くて、
「なんでこれが出てくるの？」と悩まされる個所がいくつもある。
その前の記述を踏まえると確かに正しいこともあるんだが、
読者の側がわざわざ見つけないといけない。

〇一方で、その後の証明に不必要としか思えない記述が混入していることがしばしばある。

とりあえず、数学の証明として必要かつ十分な記述ができるようになることを
練習するのがまず先決のように思った次第。