Preuve par Contradiction

Une méthode de démonstration qui suppose la négation de l'énoncé à prouver et en déduit une contradiction logique ; de la contradiction on conclut l'énoncé original (classiquement en utilisant le principe du tiers exclu ou l'élimination de la double négation).