Numrat natyrorë

Në matematikë, numrat natyrorë janë ato numra që përdoren për numërimin (si në "ka gjashtë monedha në tryezë") dhe duke porositur (si në "ky është qyteti i tretë më i madh në vend"). Numrat që përdoren për numërimin quhen numra kardinalë, ndërsa numrat që përdoren për data ose renditje quhen ordinalë.

Disa përkufizime, duke përfshirë standardin ISO 80000-2, i nisin numrat natyrorë me 0, që korrespondojnë me numrat jo-negativë 0, 1, 2, 3, ..., ndërsa të tjerët fillojnë me 1, që korrespondojnë me numrat pozitivë 1, 2, 3, ... Tekstet që përjashtojnë zeron nga numrat natyrorë ndonjëherë i referohen numrave natyrorë së bashku me zeron si numra të tërë, ndërsa në shkrimet e tjera, ky term përdoret në vend të plotë (duke përfshirë edhe numrat negativë). [5]

$\mathbb {N} =\{\,1,2,3,\ldots ,n,n+1,\ldots \,\}$

Matematikani i njohur italian G.Peano (1858-1932) në vitin 1899 e aksiomatizoi aritmetikën e numrave natyrorë.

Peano përfshiu në numrat natyrorë edhe zeron :

$\mathbb {N} =\{\,0,1,2,3,\ldots ,n\}$

Përkufizimi aksiomatik i numrave natyrorë:

Numër natyror quhet çdo elementet i bashkësisë jo të zbrazët $N$ në të cilen është përkufizuar relacioni " është pasardhës i drejtpërdrejtë i " që plotëson këto aksioma:

Aksiomat e Peanos

• 1.1 Aksioma - Ekziston numri natyror $0$ i cili nuk është pasardhës i drejtpërdrejtë i asnjë numri natyror.
• 1.2 Aksioma - Për çdo numër natyror $a\in \mathbb {N}$ , ekziston vetëm një numër natyror $a^{\prime }$ që është pasardhës i tij.

$\;\;\;\;\;\;\;\;\;\;\;\;(\forall a,b\in \mathbb {N} )a=b\Rightarrow a^{\prime }=b^{\prime }$

• 1.3 Aksioma - Secili numër natyror $a^{\prime }\in \mathbb {N}$ është pasardhës i jo më shumë se një numri natyror $\ a$.

$\;\;\;\;\;\;\;\;\;\;\;\;(\forall a,b\in \mathbb {N} )a^{\prime }=b^{\prime }\Rightarrow a=b$

• 1.4 Aksioma e induksionit - Cilado bashkësi e numrave natyrore $\mathbb {M}$ që ka këto veti:

$\;\;\;\;\;\;\;\;\;\;\;\;$(a) $1\in \mathbb {M}$ dhe (b) $a\in \mathbb {M} \Rightarrow a^{\prime }\in \mathbb {M}$

përmban të gjithë numrat natyrorë

$\;\;\;\;\;\;\;\;\;\;\;\;\mathbb {M} =\mathbb {N} \Leftarrow {\begin{cases}\ 1\in \mathbb {M} \\a\in \mathbb {M} \Rightarrow a^{\prime }\in \mathbb {M} \end{cases}}$