Gödel compared his proof to "Richard's antinomy" (an "antinomy" is a contradiction or a paradox; for more see Richard's paradox): "The analogy of this result with Richard's antinomy is immediately evident; there is also a close relationship with the Liar Paradox (Gödel's footnote 14: Every epistemological antinomy can be used for a similar proof of undecidability)...
Гедель порівнював свій доказ з "антиномією Річарда" ("антиномія" - це протиріччя або парадокс; для більшого розуміння парадокс Річарда): "Аналогія цього результату з антиномією Річарда відразу ж очевидна, існує також тісний зв'язок з Парадоксом брехуна (виноска 14 Геделя: кожна епістемологічна антиномія може бути використана для аналогічного доказу нерозв'язності) ...