Prueba de imposibilidad

Una prueba de imposibilidad, también conocida como prueba negativa, prueba de un teorema de imposibilidad, o resultado negativo, es una demostración mediante la que se concluye que un problema particular no se puede resolver como se describe en su enunciado, o que un conjunto particular de problemas no se puede resolver en general.​ Algunas de estas pruebas han permanecido a la espera de resolución durante décadas o incluso siglos de trabajo. Comprobar que algo es imposible suele ser mucho más difícil que la tarea opuesta; ya que a menudo es necesario desarrollar una teoría en la que se apoya la demostración.​ Los teoremas de imposibilidad generalmente se pueden expresar como proposiciones de existencia negativas o proposiciones universales en lógica (véase cuantificador universal).