| мат. |
proof by contradiction (In logic, proof by contradiction is a form of proof that establishes the truth or validity of a proposition by showing that the proposition's being false would imply a contradiction. Proof by contradiction is also known as indirect proof, apagogical argument, reductio ad impossibile.  wikipedia.org); proof by reduction to absurdity; by reductio ad absurdum proof; proof by contradiction |
