Аксиомы Пеано: различия между версиями

# 0 является натуральным числом;

# Число, ''следующее за'' натуральным, тоже является натуральным;

# Если натуральное число <math>\,\! a</math> непосредственно следует как за числом <math>\,\! b</math>, так и за числом <math>\,\! c</math>, то <math>\,\! b</math> и <math>\,\! c</math> тождественны;

# ''(Аксиома [[Математическая индукция|индукции]].)'' Если какое-либо предложение доказано для 0 (база индукции) и если из допущения, что оно верно для натурального числа <math>\,\! n</math>, вытекает, что оно верно для следующего за <math>\,\! n</math> натурального числа (индукционное предположение), то это предложение верно для всех натуральных чисел.