Reductio ad absurdum, reductio ad impossibile
[Lat. = herleiding tot het ongerijmde, of: tot het onmogelijke] (logica) bewijs uit het ongerijmde (of: uit het onmogelijke), dat is bewijsvoering die een stelling niet rechtstreeks bewijst, maar aantoont dat het tegengestelde voert tot het ongerijmde (of onmogelijke), en dus vals is.
