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.
Les théories sont faites de deux parties, il y a des hypothèses et des conclusions.