Noun
proof by contradiction (countable and uncountable, plural proofs by contradiction) (mathematics, logic) Proof of a statement adduced by deriving a contradiction from the statement's negation.