preuve indirecte [ démonstration indirecte | démonstration par l'absurde | démonstration a contrario | démonstration apagogique | apagogie | preuve par réduction à l'absurde | réduction ad absurdum ]
ad absurdum proof [ indirect demonstration | indirect proof | reductio ad impossibile ]