proof by contradiction in Greek
proof by contradiction in Greek
εις άτοπον απαγωγή
(mathematics, logic) The proof of a statement adduced by deriving a contradiction from the statement's negation.