Después de probar el Teorema del Primer Incompletitud, discutiremos algunos corolarios y mejoras al teorema antes de pasar a discutir el Teorema del Segundo Incompletitud, que establece que el conjunt...Después de probar el Teorema del Primer Incompletitud, discutiremos algunos corolarios y mejoras al teorema antes de pasar a discutir el Teorema del Segundo Incompletitud, que establece que el conjunto de axiomas de la Aritmética de Peano no puede probar que la Aritmética de Peano es consistente, a menos que (por supuesto) Peano La aritmética es inconsistente, en cuyo caso puede probar cualquier cosa.
