Автор хлорная известь задал вопрос в разделе Естественные науки
геделева нумерация и получил лучший ответ
Ответ от Ёаша Русанов[гуру]
Так просто ...цитата, а оперируют с множествами (идей :)) отображая на натуральные числа 🙂
В стандартной интерпретации [~ 3] гёделева неразрешимая формула A означает «не существует вывода формулы A», то есть утверждает свою собственную не выводимость в системе S. Таким образом, A является аналогом парадокса лжеца. Рассуждения Гёделя в целом очень похожи на парадокс Ришара. Более того, для доказательства существования не выводимых утверждений может быть использован любой семантический парадокс
Следует отметить, что выражаемое формулой A утверждение не содержит порочного круга, поскольку изначально утверждается только, что некоторая конкретная формула, явную запись которой получить несложно (хоть и громоздко) , недоказуема. «Только впоследствии (и, так сказать, по воле случая) оказывается, что эта формула в точности та, которой выражено само это утверждение»