Aritmetica di Robinson: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
m typo |
||
Riga 1:
{{stub matematica}}
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
Il [[linguaggio del primo ordine|linguaggio]] di '''Q''' è il [[linguaggio dell'aritmetica del primo ordine]].
|