Aritmetica di Robinson: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
correzione + bibliografia |
→Incompletezza di Q: fix |
||
Riga 39:
:''a''+''b'':=''a''
:''b''+''a'':=''b''
si può verificare che l'operazione definita rispetta gli assiomi (Q4) e (Q5). È possibile anche estendere la moltiplicazione in '''N'''∪{''a'',''b''} in modo da verificare gli assiomi (Q6) e (Q7)<ref>{{cita libro|autore=Peter Smith|titolo=An Introduction to Gödel's Theorems|pp=69-70|capitolo=capitolo 10.5|edizione=2}}</ref>: quello che è rilevante invece è che l'operazione "+" appena definita non commuta: '
== Riferimenti ==
|