Natural son: Versiyalar orasidagi farq

# Agar <math>x\in\mathbb{N}</math>, unda <math>S(x)\in\mathbb{N}</math> ( Natural sondan keyin keluvchi son — natural sondir);

# <math>\nexists x\in\mathbb{N}\ (S(x) = 1)</math> ('''1''' hech qanday natural sondan keyin kelmaydi);

:: 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>).

 

 

 

[[af:Natuurlike getal]]

[[be-x-old:Натуральны лік]]

[[bg:Естествено число]]

[[bs:Prirodan broj]]

[[ca:Nombre natural]]