Ce type de raisonnement suppose que l’énoncé à démontrer est faux, puis montre que cette hypothèse mène à une contradiction. On en conclut donc que l’énoncé est vrai.

Exemple classique : démonstration que √2 est irrationnel.