En matemáticas y en teoría de la demostración, el descenso infinito es un método para demostrar una afirmación sobre números naturales, consistente en decir que ninguno de los números naturales de un cierto subconjunto satisface cierta propiedad.