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,\dots ,n,n+1,\dots \}$

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,\dots ,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.

$(\mathrm{\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$.

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

• 1.4 Aksioma e induksionit - Cilado bashkësi e numrave natyrore $𝕄$ që ka këto veti:

$$(a) $1\in 𝕄$ dhe (b) $a\in 𝕄\Rightarrow a^{\prime }\in 𝕄$

përmban të gjithë numrat natyrorë

$𝕄=\mathbb{N}\Leftarrow \{\begin{array}{c}1\in 𝕄\\ a\in 𝕄\Rightarrow a^{\prime }\in 𝕄\end{array}$