типа кто не понял, просьба не беспокоиться )
Математика для всех. Алексей Савватеев. Лекция 3.7. Множество всех подмножеств. Теорема Кантора
https://youtu.be/LQBByiuEIek
на мой взгляд эту теорему проще пояснить на примере брадобрея
это задача про брадобрея который сам себя не бреет
так наверное будет более понятно
не существует брадобрея, который может придерживаться правила: брить всех тех, кто сам себя не бреет
множество таких брадобреев пусто
и следовательно такое правило не реализуемо, следовательно правило не существует
а следовательно теорема верна
---
Алексей Савватеев.
Лекция 6.7 Доказательство теоремы Кантора
https://youtu.be/Ot64LuKGfgU
---
https://ru.wikipedia.org/wiki/Теорема_Кантора
https://ru.wikipedia.org/wiki/Диагональный_аргумент
---
https://ru.wikipedia.org/wiki/Парадокс_Рассела
Пусть в некой деревне живёт брадобрей, который бреет всех жителей деревни, которые не бреются сами, и только их.
Бреет ли брадобрей сам себя?
Вариант о каталогах
Библиографические каталоги — это книги, которые описывают другие книги. Некоторые каталоги могут описывать другие каталоги. Некоторые каталоги могут описывать даже сами себя.
Можно ли составить каталог всех каталогов, которые не описывают сами себя?
---