reductio ad absurdum

Latin, literally "reduction to the absurd." Absurdum is neuter of absurdus. See reduction + absurd. The tactic is useful and unobjectionable in proofs in geometry.

Share