Sia $NN$ un insieme e sia $S$ una funzione. Si supponga che per $NN$ ed $S$
siano rispettati i seguenti cinque assiomi, detti *Assiomi di Peano*:

+ Esiste un elemento, chiamato $0$, che appartiene ad $NN$;
+ Per ogni elemento $n in NN$, esiste un $S(n)$ a sua volta membro di $NN$.
  Ovvero, $NN$ é un insieme chiuso rispetto ad $S$;
+ Per ogni coppia di elementi $m, n in NN$, se vale $S(m) = S(n)$ allora
  $m = n$. Ovvero, $S$ é una funzione iniettiva;
+ Per qualsiasi elemento $n in NN$, la proposizione $S(n) = 0$ é sempre falsa.
+ Se $T$ é un insieme che possiede le seguenti proprietá:
  + $0$ appartiene a $T$;
  + Per ogni elemento $t in T$, esiste un $S(t)$ a sua volta membro di $T$;
  Allora $T$ e $NN$ sono lo stesso insieme.

L'insieme $NN$ cosí definito prende il nome di *insieme dei numeri naturali*.

// Aggiungere la definizione di $ZZ$
// Aggiungere la definizione di $QQ$
// Aggiungere la definizione di $RR$
