Таким образом, понятие теоремы является дедуктивным по своей сути, в отличие от концепции научной теории, которая является эмпирической.
Математик Дорон Зейлбергер зашел так далеко, что заявил, что это, возможно, единственные нетривиальные результаты, которые когда-либо доказали математики.