Aritmetica di Robinson: differenze tra le versioni

L' '''Aritmetica di Robinson''', denotata solitamente con '''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 naturale diverso da zero è successore di qualche altro 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 sia applicabile il primo dei [[teoremi di incompletezza di Gödel]].