Natural son: Versiyalar orasidagi farq
Kontent oʻchirildi Kontent qoʻshildi
k 37.110.215.98 tahrirlari Saydullayev Asadbek versiyasiga qaytarildi Teg: Eski holiga qaytarish |
Teglar: Mobil qurilma orqali Mobil sayt orqali |
||
Qator 12:
== Peano Aksiomalari ==
{{main|Peano Aksiomalari}}
Shunday <math>S</math> funktsiyasini kiritamizki, u har bir <math>x</math> soniga ''oʻzidan
# <math>1\in\mathbb{N}</math> (<math>1</math> soni natural sondir);
# Agar <math>x\in\mathbb{N}</math>, unda <math>S(x)\in\mathbb{N}</math> ( Natural sondan keyin keluvchi son — natural sondir);
Qator 20:
:: agar <math>P(1)</math> va <math>\forall n\;(P(n)\Rightarrow P(S(n)))</math>, unda <math>\forall n\;P(n)</math>
:: ('''Agar''' biron bir ayniyat <math>P</math> uchun toʻ <math>n=1</math> (''induktsiya bazasi'') va ihtiyoriy <math>n</math> tahmini uchun, toʻgʻri boʻlsa <math>P(n)</math>, hamda <math>P(n+1)</math> uchun ham toʻgʻri boʻlsa'' (induktsion tahmin)'', '''unda''' <math>P(n)</math> uhtiyoriy natural sonlar uchun toʻgʻri boʻladi <math>n</math>).
== Asosiy xossalari ==
| |||