Строгое определение сложения и умножения натуральных чисел (ILIEKMATHPHYSICS)

В этой серии мы строим системы счисления, начиная с натуральных чисел, затем целых чисел, рациональных чисел, действительных чисел и комплексных чисел, используя теорию множеств. В этом видео мы определяем операции сложения и умножения для натуральных чисел. Для этого мы опираемся на теорему о рекурсии, которую мы доказали в предыдущем видео серии. Спасибо, и приятного просмотра! Плейлист «Построение систем счисления»: https://www.youtube.com/playlist?list=PLDiddIbnOEOU1ZwBEGNlZ-4Fijx7Zmzkz Видео «Доказательство теоремы о рекурсии (ILIEKMATHPHYSICS)»: https://www.youtube.com/watch?v=TATRpYqC4ho