Аксиомы Пеано: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
NapalmBot (обсуждение | вклад) м Удаление принудительных пробелов в формулах по ВП:РДБ. |
Mkot (обсуждение | вклад) |
||
Строка 33:
Последнее утверждение может быть сформулировано так: если некоторое высказывание <math>P</math> верно для <math>n=1</math> (база индукции) и для любого <math>n</math> при допущении, что из верности <math>P(n)</math> следует верность и <math>P(n+1)</math> (индукционное предположение), то <math>P(n)</math> верно для любых натуральных <math>n</math>.
Заметим, что часто натуральный ряд начинают с нуля, а не с единицы, в этом случае в определениях выше 1 заменяется на 0.
== Формализация арифметики ==
| |||