почему оно упоминается при определении общего случая ?
Где оно там упоминается?
Мой вопрос не означает, что если бы оно там упоминалось, это было бы ужасно: вполне допустимо определять более общую операцию через менее общую (которая после такого определения становится частным случаем более общей). Мне просто интересно.
В доказательстве возможности разделить с остатком любое число. "Действительно, одно представление
в такой форме получим, взяв
равным наибольшему кратному числа
, не превосходящему
".
И можете привести такой пример, когда более общее определяется через менее общее?
-- 30.04.2019, 17:36 --Никто же не определяет число через единицу
Вообще-то, именно так и определяются натуральные. Иногда через единицу, иногда через нуль.
Насколько я понимаю, натуральное число определяется как класс равномощных множеств. Число 1 - класс множеств, равномощных с индивидуальным множеством M, определенным так, что
и только
есть элемент множества M. То есть 1 определяется через определение натурального числа, а остальные числа определяются через сумму с единицей
Первая аксиома Пеано: 1 является натуральным числом