Vastuväiteline tõestus
Vastuväiteline tõestus ehk absurdsusele taandamine ehk absurdile taandamine (ladina reductio ad absurdum) on kaudse tõestamise meetod, mis seisneb järgnevas: mingi väite tõestamiseks oletatakse, et väide on väär, ning tehakse sellest oletusest järeldusi. Tõestus on edukas, kui jõuame vastuoluni, mis näitab, et meie vastuväiteline oletus ei saa olla tõene.