896 847
contributi
Assiomi di Peano: differenze tra le versioni
m
Bot: Fix tag <math>
m (+senza fonti) |
m (Bot: Fix tag <math>) |
||
|
== Significato matematico degli assiomi ==
In termini più precisi possiamo dire che la struttura data dalla terna <math>(\mathbb N, 0, S)</math> composta dall'[[insieme]] dei [[numeri naturali]] <math>\mathbb N
<blockquote style="padding: 1em; border: 2px dotted red;">
Analizziamo la funzione di ciascun assioma:
* (P1) ci dice che l'insieme <math>\mathbb N
* (P2) afferma l'esistenza di una funzione <math>S</math> (la ''funzione successore'') di cui l'insieme <math>\mathbb N</math> è [[dominio (matematica)|dominio]] e [[codominio]].
* (P3) dice che <math>S</math> è una [[funzione iniettiva]]; questo ci permette di escludere modelli in cui partendo da <math>0</math> e andando avanti ripetutamente da un elemento al successore si possa ritornare su un elemento già visitato e rimanere confinati in un ciclo;
| |||