カール・ワイエルシュトラス
17世紀にアイザック・ニュートンとほぼ同時に微分の概念に到達したゴットフリート・ライプニッツは数の無限小変動（モナド）の考え方によって微分をとらえようとした。彼の考え方は十分に形式化されず、厳密性を欠いたものだった。18～19世紀にベルナルト・ボルツァーノ、オーギュスタン・コーシー、カール・ワイエルシュトラスらによりイプシロン-デルタ論法にもとづく微分の定式化が達成された。これにより数のコーシー列の「収束先」の存在を保証するものとして実数の体系がはっきりとした存在意義を持つようになった。