Даглас Хофштадтер

Если затянуть Петлю еще туже, мы получим замечательную картину «Рисующие руки» (рис. 135), на которой каждая из рук рисует другую — двуступенчатая Странная Петля.

В самой упрощенной форме открытие Гёделя сводится к переводу на язык математики одного из старинных философских парадоксов, так называемого парадокса Эпименида (или парадокса лжеца). Критский философ Эпименид был автором бессмертного суждения: «Все критяне — лжецы». В более прямой форме парадокс звучит так: «Я лгу» или «Это высказывание — ложь».

Все непротиворечивые аксиоматические формулировки теории чисел содержат неразрешимые суждения.