Знакомство с методом математической индукции: различия между версиями

Содержимое удалено Содержимое добавлено
Строка 25:
Верность этого метода доказательства вытекает из так называемой '''аксиомы индукции''', пятой из [[m:ru:аксиомы Пеано|аксиом Пеано]], которые определяют [[m:ru:Натуральное число|натуральные числа]]. Рассмотрение аксиом Пеано выходит за рамки этой статьи.
 
Заметим, что аксиому индукции можно заменить на [[m:ru:Аксиома существования минимума|аксиому существования минимума]], и доказать аксиомыаксиому индукциюиндукции как теорему.