>>149
＞ 普通の解析の講義だとしないと思うけど。
こうすると、普通の言葉での説明より定義が、明晰になるのです。さらに、否定をとるとき
（背理法で）に間違いがはいらないのです。

＞ それでは逆に彼の業績を過小評価しています。
論理主義のさきがけとしてのフレーゲを知っていますが、アリストテレスの述語論理を記号化
した業績だけでもたいしたものだとおもいます。

＞ 極限の概念が定式化されていないのに論理的に正しいわけないでしょう。
極限の概念で、論理的に正しくなったとお考えなのですか？じつは、コーシーは、
無限小の概念（ニュートンはこれを使った）を排除できないことに気づいていましたから
無限小方式との相互交流ができるように理論を設定していたのです。ヴァイエルシュトラース
についても基本的に同じことです｡
ですから、ヴァイエルシュトラース流の解析学も無限小概念を通じて、幾何的論証
（ニュートン他が使った）と間接的にむすびついていることになります。強いて言えば、
そこに解析学の論理的根拠があるとわたしは思っています｡