Versione delle 14:48, 26 mar 2006 modifica Pokipsy76 (discussione \| contributi) 3 869 modifiche →Ruolo nella [[logica matematica]] ← Differenza precedente		Versione delle 16:41, 26 mar 2006 modifica annulla Pokipsy76 (discussione \| contributi) 3 869 modifiche Nessun oggetto della modifica Differenza successiva →
Riga 77: 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è soddisfa le condizioni di validità dei [[teoremi di incompletezza di Gödel]]. == Voci correlate== * [[Principio di induzione]] * [[Aritmetica di Peano]] [[Categoria:Teoria degli insiemi]] [[Categoria:Teoria dei numeri]]

Assiomi di Peano: differenze tra le versioni