Descente Infinie

Une technique de démonstration qui produit une contradiction en supposant l'existence d'un contre-exemple minimal dans un domaine bien ordonné (typiquement les entiers positifs) puis en construisant un contre-exemple strictement plus petit à l'infini, ce qui contredit la minimalité.