是研究極限、微分學、積分學和無窮級數等的一個數學分支，並成為了現代大學教育的重要組成部分。歷史上，微積分曾經指無窮小的計算。

如果G是f的原函數，則 {\displaystyle G-F} {\displaystyle G-F}是一個常數

設 {\displaystyle a,b\in \mathbb {R} \quad a<b} {\displaystyle a,b\in \mathbb {R} \quad a<b}，設 {\displaystyle f,F:[a,b]\longrightarrow \mathbb {R} } {\displaystyle f,F:[a,b]\longrightarrow \mathbb {R} }，滿足

F連續
f是F的導函數，即 {\displaystyle \forall x\in (a,b)\quad F'(x)=f(x)} {\displaystyle \forall x\in (a,b)\quad F'(x)=f(x)}