>>245
232=234 です。233は234 ではありません。

無限小の定式化はされていたのか否か？

解析概論に記述されている連続関数および微分可能関数の定義
など、収束に関わる部分の定式化を読んで理解した人間ならば、
「いかなる正の実数よりも絶対値が小さく、ゼロでない」
という意味での無限小は、定式化されていないことがわかります。

>>歴史的な概念
現代では、上述の意味での「無限小」は、超準解析の方法で、完全に
定式化されています。「無限小」は、確かに紆余曲折を経て
物議をかもしましたが、数学的には、「現代的な」概念となっています。

>>いちいち細かい点は説明しない。
それは他の大多数の数学書も同じ事。何も解析概論だけに限ったことではありません。