微积分四大基本定理包括：
牛顿-莱布尼茨公式（微积分基本定理）。这个公式揭示了定积分与被积函数的原函数或者不定积分之间的联系。具体来说，一个连续函数在某个区间上的定积分等于它的任意一个原函数在该区间上的增量。
格林公式（Green's Theorem）。格林公式用于将封闭曲线的线积分转化为平面区域内的二重积分，它描述了平面向量场散度的二重积分与曲线所围成的闭区域上的二重积分之间的关系。
高斯公式（Gauss' Theorem）。高斯公式将曲面积分化为区域内的三重积分，它是平面向量场散度的三重积分。这个公式也被称为高斯通量理论或散度定理。
斯托克斯公式（Stokes' Theorem）。斯托克斯公式是微积分基本公式在曲面积分情形下的推广，它也是格林公式的推广。这个公式给出了在曲面块上的第二类曲面积分与其边界曲线上的第二类曲线积分之间的联系。
这四大定理在微积分学中有着重要地位，它们不仅展示了微积分的基本概念和性质，还在解决实际问题时有着广泛的应用。
