Teoria del primo ordine: differenze tra le versioni

m (cito sistema formale)
* 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 un'altraaltre formule.
 
Esempi di teorie del primo ordine sono l'[[aritmetica di Peano]] e l'[[aritmetica di Robinson]].
17 925

contributi