Le concept de théorème est donc fondamentalement déductif, par opposition à la notion de théorie scientifique, qui est empirique.
Au début, de nombreux mathématiciens n'ont pas accepté cette forme de preuve, mais celle-ci est devenue plus largement acceptée au cours des dernières années.