См. Гарднер М. Математические новеллы. – М.: Мир, 1974. С. 170.
9
Мне сообщил его философ Ричард Картрайт.
10
Напомним условие Н. Для любого числа n существует высказывание, утверждающее, что n – экстраординарное число. Это высказывание (как и всякое другое предложение) имеет гёделев номер. Обозначим его n*. Оказывается, что для любого определимого множества А множество В всех чисел n, для которых n* принадлежит А, также определимо. Поскольку гёделев номер n* сопряжен с числом n, то тем самым условие Н выполнено.
