Proof by infinite descent

• abstract: In mathematics, a proof by infinite descent is a particular kind of proof by contradiction which relies on the facts that the natural numbers are well ordered and that there are only a finite number of them that are smaller than any given one. One typical application is to show that a given equation has no solutions.

以上来源于: WordNet