Напомним условие Н. Для любого числа n существует высказывание, утверждающее, что n – экстраординарное число. Это высказывание (как и всякое другое предложение) имеет гёделев номер. Обозначим его n*. Оказывается, что для любого определимого множества А множество В всех чисел n, для которых n* принадлежит А, также определимо. Поскольку гёделев номер n* сопряжен с числом n, то тем самым условие Н выполнено.
