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.
Menu
Menu
Menu