Le concept de théorème est donc fondamentalement déductif, par opposition à la notion de théorie scientifique, qui est empirique.
Un excellent exemple est Fermats Last Theorem, et il y a beaucoup d'autres exemples de théorèmes simples et profonds dans la théorie des nombres et la combinatoire, entre autres.