proof by contradiction Synonyms

apagoge reductio ad absurdum