Aritmetica di Robinson: differenze tra le versioni

L' '''Aritmetica di Robinson''', denotata solitamente con l'acronimo '''Q''' in [[logica matematica]], è una [[teoria del primo ordine]] che ha come [[assiomi propri]] una versione ridotta degli [[Assiomi di Peano]] in cui è assente il [[principio di induzione]] e c'è l'aggiunta di un assioma che afferma che ogni numero diverso da zero è successore di qualche atro numero (cosa che nell' [[Aritmetica di Peano]] è dimostrabile per induzione). L'interesse dell' ''Aritmetica di Robinson'' per la logica risiede nel fatto che è la teoria più debole in cui è possibile [[funzione rappresentabile|rappresentare]] tutte le [[funzione ricorsiva primitiva|funzioni ricorsive primitive]] e di conseguenza è anche la teoria più debole a cui siano applicabili i [[teoremi di incompletezza di Gödel]].

 

 

Gli assiomi di '''Q''' sono costituiti dagli [[assiomi logici]], gli [[assiomi per l'uguaglianza]] e i seguenti [[assiomi propri]]: