1.3. Множество натуральных чисел

🔺Что было сделано? 1. Ввели понятие множества, элемента множества и принадлежности элемента множеству 2. Ввели важнейшее множество натуральных чисел и множество натуральных чисел + число ноль 3. Ввели операцию декремента, используя определение инкремента 🔺Что было доказано? 1. Доказали, что если декремент числа x существует, то число y = x - 1 будет единственным 2. Доказали переместительное свойство для операций инкремента и декремента 🔺Тайм-коды: 00:05 - повторение предыдущей темы 01:14 - элемент принадлежит множеству 07:13 - вводим множество натуральных чисел 13:39 - вводим операцию декремента 15:30 - вопрос существования и единственности числа y = x - 1 18:23 - доказательство переместительного свойства для операций декремента и инкремента 🔺Полезные ссылки: Телеграм-канал проекта: https://t.me/big_math Сообщество ВК: https://vk.ru/big_math ВК видео: https://vkvideo.ru/@big_math YouTube: https://youtube.com/@БольшаяМатематика Личный телеграм-канал: https://t.me/georgyorator