Gödel's paper was published in the "Monatshefte" in 1931 under the title "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" (On Formally Undecidable Propositions in Principia Mathematica and Related Systems I).
* Академик Ю. Л. Ершов "«Доказательность в математике»", программа А. Гордона от 16 июня 2003 года* 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.