Entonces el teorema nos dice que o bien una proposición falsa del sistema será demostrada de esta forma, o bien una verdadera quedará sin demostrar en el sistema en cuestión, lo que demuestra la incompletitud del sistema.