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.
Voir Deep, cité ci-dessous.