344
правки
Изменения
→Аксиомы Пеано (англ. Peano axioms)
# <tex>1\in\mathbb{N}</tex> (<tex>1</tex> является натуральным числом);
# Если <tex>x\in\mathbb{N}</tex>, то <tex>S(x)\in\mathbb{N}</tex> (Число, следующее за натуральным, также является натуральным);
# <tex>\nexists x\in\mathbb{N}\ (S(x) = 1)</tex> ('''<tex>1''' </tex> не следует ни за каким натуральным числом);
# Если <tex>S(b)=a</tex> и <tex>S(c)=a</tex>, тогда <tex>b=c</tex> (если натуральное число <tex>a</tex> непосредственно следует как за числом <tex>b</tex>, так и за числом <tex>c</tex>, то <tex>b=c</tex>);
# '''Аксиома индукции'''. Пусть <tex>P(n)</tex> — некоторый одноместный предикат, зависящий от параметра — натурального числа <tex>n</tex>. Тогда:
