Versione delle 11:46, 22 apr 2006 modifica .mau. (discussione \| contributi) Amministratori 23 486 modifiche m →Indipendenza degli assiomi: refuso ← Differenza precedente		Versione delle 21:00, 6 mag 2006 modifica annulla PertBot (discussione \| contributi) Bot 34 457 modifiche m Robot: Automated text replacement (-\bpoichè\b +poiché) Differenza successiva →
Riga 76: Gli assiomi di Peano appartengono alla [[logica dei predicati del secondo ordine]] poiché il quinto assioma (il principio di induzione) richiede un uso di [[quantificatore\|quantificatori]] sui [[sottoinsieme\|sottoinsiemi]] dei numeri naturali. La versione degli assiomi di Peano nella [[teoria del primo ordine\|logica del primo ordine]] è chiamata [[aritmetica di Peano]] ed ha un ruolo molto importante nella [[teoria della calcolabilità]] e nella [[logica matematica]] ~~poichè~~poiché soddisfa le condizioni di validità dei [[teoremi di incompletezza di Gödel]]. == Voci correlate==

Assiomi di Peano: differenze tra le versioni