Son muchas “cosas” que actualmente no tenemos la capacidad de probar. Un ejemplo sería probar si hay otra vida en el universo. Muchos creen que hay, solo mire cuán inmenso es el universo y lo que entendemos como los bloques de construcción de la vida que el universo está lleno de él. Sin embargo, hasta que encontremos en vivo o cualquier otra evidencia irrefutable de que existen, no se probará.
En Matemáticas hay muchas cosas que no se pueden probar y un ejemplo que puede encontrar al observar los teoremas de incompletitud de Gödel. Además, como muchas otras conjeturas que tenemos hoy, es muy probable que no se puedan probar, ya que nuestro conocimiento actual no es suficiente para hacerlo. Basta con mirar el último teorema de Fermat, Andrew Wiles pudo finalmente demostrar que este teorema se basa principalmente en el desarrollo de las matemáticas en el siglo pasado.