344
правки
Изменения
→Операции над натуральными числами
===Умножение===
<tex>Воспользуемся определением натуральных чисел N\ как классов эквивалентности конечных множеств. Обозначим классы эквивалентности конечных множеств C,\A,\B\ порождённых биекциями, с помощью скобок: [C],\[A],\[B]. Тогда арифметическая операция '''умножение''' определяется следующим образом:
[C]\=\[A]⋅[B]\=\[A×B];
где: A×B={(a,b)∣a∈A,b∈B} прямое произведение множеств — множество C, элементами которого являются упорядоченные пары (a,\b) для всевозможных a∈A,b∈B. Данная операция на классах введена корректно, то есть не зависит от выбора элементов классов, и совпадает с индуктивным определением.</tex>
==Деление чисел с остатком==
