En 1931 Gödel publicó sus célebres teoremas de la incompletud en "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme" ("Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados").