Assiomi di Peano: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Collegamenti esterni: Aggiunto il template "Teoria degli insiemi" |
m sistemazione fonti, smistamento lavoro sporco e fix vari |
||
| (3 versioni intermedie di 2 utenti non mostrate) | |||
Riga 1:
{{F|
Gli '''assiomi di Peano''' sono un gruppo di [[Assioma (matematica)|assiomi]] ideati dal matematico [[Giuseppe Peano]] al fine di definire assiomaticamente l'insieme dei [[numeri naturali]]. Un modo informale di descrivere gli assiomi può essere il seguente:
Riga 46:
::allora <math>U=X</math>
Un sistema di Peano è dunque un [[modello (logica)|modello]] valido degli assiomi di Peano. Il modello più naturale per gli assiomi è la struttura <math>(\mathbb N, 0, S)</math>, tuttavia questa '''non''' è l'unica a verificare gli assiomi. Un esempio di sistema di Peano diverso da <math>(\mathbb N , 0, S)</math> si ha prendendo come <math>X</math> l'insieme dei numeri pari positivi <math>\{2,4,6,...\}</math>, <math>x_0:=2</math> e <math>s(x):=x+2</math>.
Un ''[[isomorfismo]]'' tra due ''sistemi di Peano'' <math>(A,a_0,s)</math> e <math>(B,b_0,t)</math> è una [[biiezione]] <math>f:A \to B</math> tale che:
| |||