Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I

Sinopsis

Esta obra seminal de Gödel examina la incompletud de los sistemas formales y plantea su famoso teorema de incompletud, demostrando que en cualquier sistema lógico suficientemente poderoso existen proposiciones que no pueden ser ni probadas ni refutadas.