Изменения

Перейти к: навигация, поиск

Натуральные числа

1062 байта добавлено, 04:20, 3 июня 2018
Операции над натуральными числами
===Умножение===
<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>
==Деление чисел с остатком==
344
правки

Навигация