Математическая логика и культура математических рассуждений. Лекция 2
Лекция- Математика
Другие лекции курса
Комментарии
![Аватар пользователя i_vano Аватар пользователя i_vano](https://www.lektorium.tv/sites/lektorium.tv/files/styles/userpic/public/userpic/picture-274495-1578410525.jpg?itok=4q5o4Je6)
Равномощность множества натуральных чисел своему бесконечому подмножеству никак не доказывается, а просто постулируется.
Если вы берете натуральный ряд, вычеркиваете какие-то числа и перенумеровываете, то из чего следует, что получившееся множество равномощное исходному? Это ни откуда не следует, а просто постулируется, хотя явно и не проговаривается. Вот и получается, что равномщность множества натуральных чисел своему бесконечному подмножеству обосновывается тем, что...множество натуральных чисел равномщно своему бесконечному подмножеству. Извините, но это ни разу не доказтельство.
Предположите, что бесконечноть и бесконечность минут 1 не равномощны, и попробуйте в этом случае доказать, что множество натуральных чисел равномщно своему бесконечному подмножеству. Что-то мне подсказывает, что у вас ничего не выйдет. :-)