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