An Etymological Dictionary of Astronomy and Astrophysics

Logic, Math.: A method of → reasoning in which one assumes some statement to be → true and from that → assumption proceeds to deduce a logical → absurdity and hence to a conclusion that the original assumption must have been → false.

See also: L. reductio ad absurdum “reduction to absurdity,” → reduction; → absurd.