Таким образом, понятие теоремы является дедуктивным по своей сути, в отличие от концепции научной теории, которая является эмпирической.
Прекрасным примером является Великая теорема Фермаца, и есть много других примеров простых, но глубоких теорем в теории чисел и комбинаторике, среди других областей.