Нетрудно придумать алфавит, в котором все эти имена записывались бы в виде слов. Некоторые имена окажутся «пустыми» в том смысле, что не называют никакого числа. Так случится, если уравнение не имеет действительных корней, а также если уравнение имеет, скажем, десять таких корней, а мы включили в имя номер сотого корня. Такие имена мы отбрасываем. У каждого действительного числа окажется много имён, из них мы выбираем то, которое идёт первым в пересчёте всех слов придуманного нами алфавита; остальные имена отбрасываем. Таким образом, множество имён алгебраических чисел окажется подмножеством всех слов в некотором алфавите и, следовательно, счётным. Вместе с ним счётным окажется и множество всех алгебраических чисел. Раз множество всех алгебраических чисел счётно, а множество всех действительных чисел несчётно, то непременно бывают действительные числа, не являющиеся алгебраическими, т. е. трансцендентные.

замечание. И в примере 52, где доказывалось существование чисел, не являющихся рациональными, и в последующем доказательстве существования чисел, не являющихся алгебраическими, была использована следующая идея: множество «выделенных» чисел (рациональных, алгебраических) допускает пересчёт (поскольку оно счётно), а множество всех чисел не допускает пересчёта (поскольку оно несчётно); следовательно, существуют числа, не являющиеся «выделенными». Более рафинированный вариант этой идеи таков. Имеется множество и подмножество, оба допускают пересчёт. Среди пересчётов выделяются пересчёты специального вида и доказывается, что подмножество допускает такой пересчёт, а объемлющее множество не допускает. Тем самым обнаруживается, что в множестве существуют элементы, не принадлежащие подмножеству. Именно такой рафинированный вариант используется в одном из доказательств знаменитой теоремы Гёделя о неполноте. Множество всех истинных утверждений арифметики не допускает вычислимого пересчёта, тогда как множество всех доказуемых утверждений арифметики такой пересчёт допускает. Отсюда следует существование истинных утверждений, не являющихся доказуемыми. Этот способ доказательства теоремы Гёделя предложил великий математик Андрей Николаевич Колмогоров.

замечание. И в примере 52, где доказывалось существование чисел, не являющихся рациональными, и в последующем доказательстве существования чисел, не являющихся алгебраическими, была использована следующая идея: множество «выделенных» чисел (рациональных, алгебраических) допускает пересчёт (поскольку оно счётно), а множество всех чисел не допускает пересчёта (поскольку оно несчётно); следовательно, существуют числа, не являющиеся «выделенными». Более рафинированный вариант этой идеи таков. Имеется множество и подмножество, оба допускают пересчёт. Среди пересчётов выделяются пересчёты специального вида и доказывается, что подмножество допускает такой пересчёт, а объемлющее множество не допускает. Тем самым обнаруживается, что в множестве существуют элементы, не принадлежащие подмножеству. Именно такой рафинированный вариант используется в одном из доказательств знаменитой теоремы Гёделя о неполноте. Множество всех истинных утверждений арифметики не допускает вычислимого пересчёта, тогда как множество всех доказуемых утверждений арифметики такой пересчёт допускает. Отсюда следует существование истинных утверждений, не являющихся доказуемыми. Этот способ доказательства теоремы Гёделя предложил великий математик Андрей Николаевич Колмогоров.