|
I numeri naturali - Definizione assiomatica
Gli Assiomi di Peano sono un gruppo di assiomi [I1] [E1] [F1] [ES1] pensati dal matematico Giuseppe Peano [I1] [I2] [E1] [F1] [ES1] al fine di definire assiomaticamente l'insieme dei numeri naturali.
Un modo informale di descrivere gli assiomi puņ essere il seguente [I1] [I2] [F1] [ES1] :
- Esiste un numero naturale, 0 (o 1)
- Ogni numero naturale ha un numero naturale successore
- Numeri diversi hanno successori diversi
- 0 (o 1) non č il successore di alcun numero naturale
- Ogni insieme di numeri naturali che contenga lo zero (o l'uno) e il successore di ogni proprio elemento coincide con l'intero insieme dei numeri naturali (assioma dell'induzione) [I1] [E1]
10/48
|
