Descenso Infinito

Una técnica de demostración que obtiene una contradicción suponiendo un contraejemplo mínimo en un dominio bien ordenado (típicamente los enteros positivos) y luego construyendo un contraejemplo estrictamente menor, repetible ad infinitum, contraviniendo la minimalidad.