Assiomi di Peano: differenze tra le versioni

Versione delle 08:53, 28 set 2011

Versione delle 18:01, 1 dic 2011

Riga 15:

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\!</math>, lo [[zero]] e la [[funzione (matematica)|funzione]] "successore" <math>S: \N \to \N</math> può essere caratterizzata ''a meno di isomorfismi'' (in seguito sarà più chiaro in che senso) dai seguenti ''assiomi di Peano'':

<blockquote style="padding: 1em; border: 2px dotted purplered;">

:(P1) Esiste un numero <math>0 \in \mathbb N</math>

:(P2) Esiste una [[funzione (matematica)|funzione]] <math>S: \N \to \N</math> (chiamata "successore")