Основну статтю було отримано для публікації 17 листопада 1930 року і опубліковано на початку 1931 року. Примітки Джерела Література в книзі Академик «Доказательность в математике», программа А. Гордона от 16 июня 2003 года Бібліографія — статті Геделя 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. Monatshefte für Mathematik und Physik 38: 173—198. 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. and On formally undecidable propositions of Principia Mathematica and related systems I in , ed., 1986. Kurt Gödel Collected works, Vol. I. Oxford University Press: 144—195.