Le concept de théorème est donc fondamentalement déductif, par opposition à la notion de théorie scientifique, qui est empirique.
Le mathématicien Doron Zeilberger est même allé jusqu'à prétendre que ce sont peut-être les seuls résultats non banals que les mathématiciens ont jamais prouvé.