Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Математический анализ
Теорема Ньютона — Лейбница, которую также называют "основной теоремой анализа" утверждает, что дифференцирование и интегрирование являются взаимно обратными операциями. Точнее, это касается значения первообразных для определённых интегралов. Поскольку, как правило, легче вычислить первообразную, чем применять формулу определённого интеграла, теорема даёт практический способ вычисления определённых интегралов. Она также может быть интерпретирована как точное утверждение о том, что дифференцирование является обратной операцией интегрирования.