En términos formales el descenso infinito es un método de demostración para probar rigurosamente una proposición de la forma: