Святая простота

Из письма читателя в редакцию журнала «Наука и жизнь»:
История эта происходила в 1990 году на зачете в одном из Рижских вузов. Студентку спросили про сечения цилиндра. Что отвечать — она не знала. Преподаватель, желая вытянуть из нее хоть что-нибудь, доброжелательно говорит:
— Петрова, ну вы дома морковку резали?
— (недоуменно) Да...
— А по диагонали?
— (еще более недоуменно) Да-а...
— И что у вас в сечении получалось?
— Морковка...

Доказательство, что натуральных чисел конечное множество🤯

Определим строку как набор из восьми слов, которые имеют смысл (то есть слова по типу "абвгдеёж" не подходят). Очевидно, что этих строк существует конечное множество. Докажем, что можно построить инъекцию из множества натуральных чисел в множество всех строк (то есть каждая строка либо описывает какое-то одно слово, либо не описывает ни одного слова)

Будем использовать метод доказательства от противного: допустим, что существует число, которое нельзя описать восемью словами, тогда существует минимум одно такое число, которое нельзя описать восемью словами. Выберем среди этих чисел наименьшее. Но это же наименьшее натуральное число, которое нельзя описать восемью словами. Только что нам удалось описать это число восемью словами, значит, наименьшего такого числа не существует и мы пришли к противоречию.

В чём ошибка? Обсуждения в чате👇