IUTの望月さんの主張も
もしかしたら
この回答者２の考察のようなものなのかも？
何かしら全く新しい概念を
自分の中だけで「納得」していて
それを「説明できない」みたいな？
超実数
あるいはεδによる無限小の定義（0へ収束する正実数の数列）
を導入せず「無限小」を使うみたいな？
しかし
そういう概念を導入せずに
誰もが納得できない考察を
証明だとして提示するのは
全く正しくないな
知らんけど