La preuve d'un théorème mathématique est un argument logique qui démontre que les conclusions sont une conséquence nécessaire des hypothèses, en ce sens que si les hypothèses sont vraies, les conclusions doivent également être vraies, sans autres hypothèses.
Un théorème que quelqu'un doit prouver pour qu'il / elle peut prouver un autre théorème est appelé un lemma.