Not the name, but a name: "contradictive assumption".
Google knows about 80 some odd uses of this in a mathematical context. I like it because the word "contradictive" has a dictionary definition that is more-or-less suited for the job, and the word immediately invokes the method of proof we are using.