>>328
＞ ふと冷静になってみると、Δxとdxの使い分けも無視して無限小だという人に何を説明しても
＞無駄な気がしてきた
こういう人にはなにを説明しても無駄でしょう｡

>>331
＞ 「Cauchy無限小」を、差がCauchy数列の違いしかないものは同一視して、
＞非単項超フィルターを用いて同値類を取ると超実数の一つのモデルが出来る
＞（cf.超積と超準解析 1章）わけで、
このモデルは超準解析をまるで知らなかったときに、自分でもおなじものを作ったことが
あります。それだけに超準解析にはつよい興味があります。

＞ 「Cauchy無限小」も超準解析も我々が思うよりも近いものなんじゃないのかな、と。
モデルとは無矛盾性の証明のかわりといっていいものですから、そのためにあると考えれば
コーシーの無限小も超準解析もおなじものといっていいです。ただし基礎論関係の人の
面倒な議論はお断りします｡そんな知識はないので。