如果f(x)是[a,b]上的连续函数,并且有F′(x)=f(x),那么用文字表述为:一个定积分式的值,就是原函数在上限的值与原函数在下限的值的差。

正因为这个理论,揭示了积分与黎曼积分本质的联系,可见其在微积分学以至更高等的数学上的重要地位,因此,牛顿-莱布尼兹公式也被称作微积分基本定理。