Identifier une méthode de démonstration

Short answer

Quelle méthode de démonstration consiste à supposer le contraire de ce qu'on veut prouver, puis à en déduire une contradiction logique ?