Si el sistema axiomático es consistente, la prueba de Gödel muestra que formula_6 (y su negación) no se pueden demostrar en el sistema.