+1951, Some basic theorems on the foundations of mathematics and their implications in , ed., 1995. Kurt Gödel Collected works, Vol. III. Oxford University Press: 304—323. Див. також Теорема Геделя про повноту Парадокс брехуна Недовідні твердження Теорема Льоба Натуральні числа Формальна теорія Теорема Гудштейна Антиномія Gödel, Escher, Bach Непредикативність (математика) Геделя про неповноту Математична логіка Теорія моделей Теорія доведення Епістемологія Геделя про неповноту Праці Курта Геделя Основи математики