函数y的微分高数dy是函数y的微分。关于函数和、差、积、商的微分法则是紧扣和、差、积、商的求导法则而展开的。微积分起初是由牛顿和莱布尼茨以无穷小概念为基础建立起来的。古典微积分之所以会有无穷小量是否为0的矛盾就在于，它追求一个最小的无旁小数。
