Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
Kurt Gödel
1931·filosofia
Al igual que en 'Formidable Logic', este artículo de Gödel expone los límites de los sistemas formales, específicamente a través de sus teoremas de incompletitud.





















