Esto es, existe una prueba para cada fórmula o para su negación.