Assiomi di Peano: differenze tra le versioni

Versione delle 10:43, 15 giu 2005

Versione delle 09:02, 15 lug 2005

Riga 28:

Esiste una versione più debole degli assiomi di Peano nell'ambito della [[logica dei predicati del primo ordine]] che viene generalmente chiamata con l'acronimo '''[[PA (matematica)|PA]]''' (Peano Arithmetic) ed ha un ruolo molto importante nella [[teoria della computabilità]] e nella [[logica matematica]] per la sua capacità di [[funzione/predicato rappresentabile|rappresentare]] tutte le [[funzioni ricorsive]].

[[Categoria:Teoria Matematicadegli insiemi]] [[Categoria:Teoria dei numeri]]

[[en:Peano axioms]]