Jabarkan dan dari Teorema dasar kalkulus

Di sini,  dan kita dapat menggunakan  sebagai antiturunan. Sehingga:

Atau lebih umumnya, misalkan kita perlu menghitung

Di sini,  dan kita dapat menggunakan  sebagai antiturunan. Sehingga:

Namun hasil ini akan lebih mudah didapatkan apabila menggunakan:

Kita tidak perlu mengasumsikan kekontinuan f pada keseluruhan interval. Bagian I dari teorema menyatakan: Jika f adalah setiap fungsi terintegral Lebesgue pada [a, b] dan x0 adalah bilangan pada [a, b] sehingga f kontinu pada x0, maka

terdiferensialkan untuk x = x0 dengan F'(x0) = f(x0). Kita dapat melonggarkan kondisi f lebih jauh dan andaikan bahwa ia hanyalah terintegralkan secara lokal/setempat. Pada kasus ini, kita dapat menyimpulkan bahwa fungsi F terdiferensialkan hampir di mana-mana dan F'(x) = f(x) hampir di mana-mana. Ini biasanya dikenal sebagai teorema pendiferensialan Lebesgue.

Bagian II dari teorema adalah benar untuk setiap fungsi terintegral (integrable fungction) Lebesgue f yang mempunyai sebuah antiturunan F (tidak semua fungsi terintegral mempunyainya).

Versi teorema Taylor yang mengekspresikan suku galat (error term) sebagai sebuah integral dapat dilihat sebagai sebuah perampatan (generalization) dari teorema dasar.

Terdapat sebuah versi teorema untuk fungsi kompleks: andaikan U adalah himpunan terbuka pada C dan f: U → C adalah fungsi yang mempunyai sebuah antiturunan holomorfik F pada U. Maka untuk setiap kurva γ: [a, b] → U, integral kurva dapat dihitung sebagai

Teorema dasar dapat dirampatkan ke integral kurva dan permukaan pada dimensi yang lebih tinggi dan pada manifold.

Salah satu pernyataan yang paling kuasa (powerful) adalah teorema Stokes: Diberikan M sebagai manifold mulus sesepenggal dimensi n berorientasi dan  adalah sebuah bentuk n−1, yakni bentuk diferensial yang disangga secara kompak pada M kelas C1. Jika ∂M menandakan sempadan M dengan orientasi terinduksinya, maka

Di sini  adalah turunan luar yang hanya terdefinisikan menggunakan struktur manifold.

Teorema ini sering kali digunakan dalam situasi ketika M adalah submanifold berorientasi terbenam (embedded oriented submanifold) dari manifold yang lebih besar di mana bentuk  didefinisikan