TGViewer
Math²ub Math²ub @math2ub · 3.29K subscribers
Post #520 2.85K
Доказательство, что натуральных чисел конечное множество🤯

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

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

В чём ошибка? Обсуждения в чате👇
  • 👍 4
More from @math2ub
  1. Sep 17, 2026photo post
  2. Aug 30, 2026photo post
  3. Aug 28, 2026Правда?
  4. Aug 19, 2026photo post
  5. Aug 12, 2026photo post
  6. Jul 23, 2026photo post
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →