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

 

=== Словесная ===

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

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

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