ジョージ・バークリー
ニュートンとライプニッツによる無限小解析の最も初期の成果の多くは "infinitesimal number" や "vanishing quantity" といった表現を用いて定式化されていた。超実数の記事で注意されているように、それらの定式化はジョージ・バークリーなどから広く批判を受けた。無限小を使用した解析学の整合的な理論の構築が問題であったが、これを満足のいく仕方で成し遂げた最初の人物がアブラハム・ロビンソンである。