Аксиомы Пеано: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Exlex (обсуждение | вклад) м откат правок 85.26.235.50 (обс) к версии 46.200.212.154 |
|||
Строка 14:
=== Словесная ===
#
# Число, ''следующее за'' натуральным, тоже является натуральным;
# 1 не следует ни за каким натуральным числом;
# Если натуральное число <math>\,\! a</math> непосредственно следует как за числом <math>\,\! b</math>, так и за числом <math>\,\! c</math>, то <math>\,\! b</math> и <math>\,\! c</math> тождественны;
# ''(Аксиома [[Математическая индукция|индукции]].)'' Если какое-либо предложение доказано для
=== Математическая ===
|