微積分基本定理又被稱為牛頓-萊布尼茲公式定理，牛頓-萊布尼茨公式（Newton-Leibnizformula），通常也被稱為微積分基本定理，揭示了定積分與被積函式的原函式或者不定積分之間的聯絡。
牛頓-萊布尼茨公式的內容是一個連續函式在區間[a，b]上的定積分等於它的任意一個原函式在區間[a，b]上的增量。牛頓在1666年寫的《流數簡論》中利用運動學描述了這一公式，1677年,萊布尼茨在一篇手稿中正式提出了這一公式。因為二者最早發現了這一公式，於是命名為牛頓-萊布尼茨公式。
牛頓-萊布尼茨公式給定積分提供了一個有效而簡便的計算方法，大大簡化了定積分的計算過程。
