Reductio ad absurdum

(lat. ?visszavezetés a képtelenségre?): úgy igazolja egy állítás helytelen voltát, hogy az állításból valamilyen nyilvánvaló képtelenséget vezet le. A reductio ad absurdum bizonyítási módszer rokona az indirekt bizonyítás nak. A középisk.-i matematikában, ezen belül is a számelméletben és a geometriában gyakran használatos bizonyítási módszer (matematikai heurisztika).

Urbán János