石黒ひでによれば、

〈(ロビンソンが)ライプニッツの無限小概念を非アルキメデス的大きさを持つ定数で、その導入によって証明が簡潔にされるものであった、と信じているのは妥当ではない〉

のだそうだ。石黒にいわせれば、ライプニッツは、ロビンソン(流超準解析)の先駆者というよりも、コーシー、ワイエルシュトラウスなどの先駆者なのだろう。

コーシー『微分積分学要論』

〈一つの変数の絶対値が、限りなく減少し、どのような値を与えても、それよりも小さくなる、というときには、この変数は「無限小」であるとか、限りなく小さい量であるとか名づけられているものになる。この種の変数はゼロを極限値としている〉

つまり、無限小は「極限としてゼロを取る変量」ということで、『差異と反復』でコーシーを盛んに持ち出していたドゥルーズなどもこの線の理解なのだろう。かつてはこういうのが、ごく普通の理解だったようなので、めずらしくもなんともない。

ところが、前々スレでも引用貼り付けしたように、
ライプニッツ本人は、
『ニーウェンテイト宛の手紙』(1695)に

〈比較不可能な差分とはアルキメデスの公理を満たさない量)

『ド・ロピタル宛の手紙』(1695)に、

〈……その差が比較不可能である量は等しいと私は考えます。私が比較不可能な大きさとして呼んでいるのは、その一方がいかなる有限数によって乗じられても、他方を越えることがない大きさのことです〉

と書いている。これらは比較不可能な量=非アルキメデス的量=無限小量ということである。
ロビンソンもこの文を引用しているのだそうだ。