proof by contradiction in German
proof by contradiction in German
Beweis durch Widerspruch
(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation.
Widerspruchsbeweis
(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation.