BUT . . . in 1931, while still in Vienna, Gödel published his incompleteness theorems in Über formal unentscheidbare Sätze der “Principia Mathematica” und verwandter Systeme (called in English “On Formally Undecidable Propositions of “Principia Mathematica” and Related Systems”).
У 1931 годзе Курт Гёдэль апублікаваў сваю працу «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme» у якой сфармуляваў «тэарэму няпоўнасьці».