démonstration [latin : demonstratio, action de montrer] (2) :

Raisonnement établissant la vérité d'une proposition à partir des axiomes posés et des propositions précédemment démontrées.

Voir démonstration par récurrence, démonstration par l'absurde.