1] Натурал сон деб санаш (саноқ) учун ишлатиладиган сонларга айтилади. Натурал сонлар тўплами Н{\дисплайстйле \матҳбб{Н}} ҳарфи билан белгиланади. 2] Натурал сонлар қатори чексиздир. Натурал сонлар қатори: 1,2,3,4,5,6,7… [ 0(нол) натурал сон эмас]. 3] Натурал сонлар чексиздир. 4] Натурал сонлар устида амаллар.

  Натурал сонга натурал сон қо'шилса натижа ҳар доим натурал сон бо'лади.
    7+10=17

Бунда 7 сони 1-қўшилувчи, 10 сони 2-қўшилувчи, 17 сони йиғинди дейилади.

   Натурал сондан натурал сон айрилса натижа натурал сон бо'лиш ҳам мумкин, натурал сон бо'лмаслиги ҳам мумкин.
  14-6=8.      11-34=-23
Бунда 14(ва 11) сони камаювчи, 6( ва 34) сони айрилувчи, 8(ва -23) сони айирма дейилади.

Пеано Аксиомалари

Шундай С{\дисплайстйле С} функциясини киритамизки, у ҳар бир х{\дисплайстйле х} сонига ўзидан кейинги сонни қўйсин

  1. 1∈Н{\дисплайстйле 1\ин\матҳбб{Н}} (1{\дисплайстйле 1} сони натурал сондир);
  2. Агар х∈Н{\дисплайстйле х\ин\матҳбб{Н}}, унда С(х)∈Н{\дисплайстйле С(х)\ин\матҳбб{Н}} (Натурал сондан кейин келувчи сон — натурал сондир);
  3. ∄х∈Н(С(х)=1){\дисплайстйле \нехисц х\ин\матҳбб{Н}\ (С(х) = 1)} (1 ҳеч қандай натурал сондан кейин келмайди);
  4. Агар С(б)=а{\дисплайстйле С(б)=а} ва С(c)=а{\дисплайстйле С(c)=а}, унда б=c{\дисплайстйле б=c}
  5. Индукция аксиомаси. П(н){\дисплайстйле П(н)} — н{\дисплайстйле н} натурал сонидан боғлиқ бўлган қандайдир бирўринли предикат бўлсин. Унда:
агар П(1){\дисплайстйле П(1)} ва ∀н(П(н)⇒П(С(н))){\дисплайстйле \форалл н\;(П(н)\Ригҳтарроw П(С(н)))}, унда ∀нП(н){\дисплайстйле \форалл н\;П(н)}
(Агар бирон бир айният П{\дисплайстйле П} учун тў н=1{\дисплайстйле н=1} (индукция базаси) ва иҳтиёрий н{\дисплайстйле н} тахмини учун, тўғри бўлса П(н){\дисплайстйле П(н)} ҳамда П(н+1){\дисплайстйле П(н+1)} учун ҳам тўғри бўлса (индукцион тахмин), унда П(н){\дисплайстйле П(н)} уҳтиёрий натурал сонлар учун тўғри бўлади н{\дисплайстйле н}).

Асосий хоссалари

  1. Йиғиндининг комутативлиги. а+б=б+а{\дисплайстйле \,\! а + б = б + а}
  2. Кўпайтиришининг комутативлиги. аб=ба{\дисплайстйле \,\! аб = ба}
  3. Йиғиндининг ассоциативлиги. (а+б)+c=а+(б+c){\дисплайстйле \,\! (а + б) + c = а + (б + c)}
  4. Кўпайтиришининг ассоциативлиги. (аб)c=а(бc){\дисплайстйле \,\! (аб)c = а(бc)}
  5. Кўпайтиришининг йиғиндига нисбатан дистрибутивлиги. {а(б+c)=аб+аc(б+c)а=ба+cа{\дисплайстйле \,\! \бегин{cасес} а(б+c) = аб + аc \\ (б + c)а = ба + cа \энд{cасес}}

Шунигддек қаранг

Линклар