中严格地建构出来。早期微积分所使用的无穷小被认为是不严谨的，遭到了一些作者的严厉批评，特别是米歇尔·罗尔和乔治·贝克莱主教。贝克莱因在他1734年出版的《分析学家》（）中将无穷小描述为“消失量之鬼”而着名。近代的一篇分析认为莱布尼茨版微积分比起贝克莱的经验主义批评还更严密。为微积分予以严谨基础，成为数学家们在牛顿、莱布尼茨之后几世纪的重要工作，直至今日仍在某程度上是研究的活跃领域。一些数学家，包括科林·麦克劳林，试图证明使用无穷小是可靠的做法，但直到150多年之后才得以成功。奥古斯丁·路易·柯西和卡尔·