Assiomi di Peano: differenze tra le versioni

Versione delle 15:11, 18 ott 2005

Versione delle 15:13, 18 ott 2005

Riga 62:

* Eliminando (P5), possiamo ad esempio prendere i razionali positivi <math>\mathbb Q\!^+</math>, lasciando come funzione successore l'usuale <math>n+1</math>.

== Ruolo nella [[logica Matematicamatematica]] ==

Gli assiomi di Peano appartengono alla [[logica dei predicati del secondo ordine]] poichè il quinto assioma richiede un uso di [[quantificatore|quantificatori]] sia per gli oggetti sia per i [[sottoinsieme|sottoinsiemi]] di oggetti.