Demostró que en todo sistema formal hay un enunciado que no puede demostrarse a pesar de aparentar ser verdad y, que si la Aritmética es consistente ésta no puede demostrarse dentro del mismo sistema.
Demostró que en todo sistema formal hay un enunciado que no puede demostrarse a pesar de aparentar ser verdad y, que si la Aritmética es consistente ésta no puede demostrarse dentro del mismo sistema.