indirect proof

noun

1. an argument for a proposition that shows its negation to be incompatible with a previously accepted or established premise.

noun

1. logic maths proof of a conclusion by showing its negation to be self-contradictory; reductio ad absurdumCompare direct (def. 17)