20/06/24 16:48:29.15 o/pgoU2Q.net
>>154
つづき
しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展（訳注：そのような原理を合理化するもの）を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。[8]
ロビンソンはさらに次のように続ける：
本書では、ライプニッツのアイデアが完全に正当なものであり、古典解析やその他の多くの数学の分科に対する新奇で実りあるアプローチに繋がることを示す。我々の方法の鍵は、現代モデル理論の基盤にある、数学の言語と数学的構造との間の関係の詳細な分析によって齎される。
1973年、直観主義者アレン・ハイティングは超準解析を「重要な数学的研究の標準モデル」だと賞賛した。[9]
（参考）
純粋・応用数学（含むガロア理論）2
ｽﾚﾘﾝｸ(math板)
(引用終り)
以上