reductio ad absurdum; proof by contradiction
Technical term in logic and mathematics. Cross-referenced with 背理法, which is a more common Japanese term for the same concept.
See also: 背理法
Reductio ad absurdum is a method of proving a proposition by assuming its negation and deriving a contradiction.