См. Также цифру Чёрча Номер описания Теоремы Гёделя о неполноте Теорема Чайтина Ссылки Гёдель, Курт, «Über формальные unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I», Monatsheft für Math.
Ссылки Gödel, Kurt, '' Über form unentscheidbare Sätze der Principia Mathematica und Verwandter Systeme I '', Monatsheft für Math.