Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m cito sistema formale |
|||
Riga 10:
* un insieme di '''[[assiomi logici]]''', cioè un insieme di [[Formula ben formata|formule]] che esprimono le relazioni logiche relative ai [[connettivo logico|connettivi logici]] e ai [[quantificatore|quantificatori]],
* un insieme di '''[[assiomi propri]]''' che stabiliscono alcune relazioni fondamentali tra gli oggetti della teoria non deducibili dagli assiomi logici (come l'assioma "per due punti passa una e una sola retta"),
* un insieme di '''[[regola di inferenza|regole di inferenza]]''' che stabiliscono quando una formula è una conseguenza logica di
Esempi di teorie del primo ordine sono l'[[aritmetica di Peano]] e l'[[aritmetica di Robinson]].
| |||