In 1931 Kurt Gödel published his famous paper “On Formally Undecidable Propositions of Principia Mathematica and Related Systems I” (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I) where he proved two widely quoted incompleteness theorems.
У 1931 годзе Курт Гёдэль апублікаваў сваю працу «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme» у якой сфармуляваў «тэарэму няпоўнасьці».