Preuve (mathématiques)

En mathématiques et en informatique théorique, une preuve est la démonstration de la vérité d'un énoncé, par une technique donnée. C'est un synonyme de démonstration.

• Preuve directe
• Preuve par induction
• Raisonnement par l'absurde
• Preuve par contraposée
• Preuve par la méthode probabiliste
• Preuve combinatoire
• Argument diagonal

• En combinatoire, la preuve bijective.
• En cryptologie, la preuve de sécurité et la preuve à divulgation nulle de connaissance.
• En mathématiques élémentaires, la preuve par neuf.