Предположим, что у вас есть непустое множество натуральных чисел, которые неинтересны. В связи с тем, что множество натуральных чисел является вполне упорядоченным, должно быть некоторое самое маленькое число в ряде неинтересных чисел. Обладая такой уникальной особенностью, это число более не может быть названо неинтересным, следовательно, не может находиться в ряду неинтересных чисел.