Аксиомы Пеано: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Строка 26:
# <math>x\in\mathbb{N}\Rightarrow S(x)\in\mathbb{N}</math>;
# <math>\nexists x\in\mathbb{N}\colon\big(S(x)=1\big)</math>;
# <math>\big(S(b)=a\wedge S(c)=a\big)\Rightarrow b=c</math>;
# <math>P(1)\wedge\forall n\Big(P(n)\Rightarrow P\big(S(n)\big)\Big)\Rightarrow\forall n\in\N\big(P(n)\big)</math>.
| |||