Teorema Gëdel︠i︡a o nepolnote - Uspenskiĭ, V. A. (Vladimir Andreevich) (Popul︠i︡arnye lek︠t︡sii po matematike, 1982)