Teoria del primo ordine: differenze tra le versioni

→‎Definizione: +1 esempio
(→‎Dimostrazioni formali: incornicio la definizione)
(→‎Definizione: +1 esempio)
* un insieme di '''[[regola di inferenza|regole di inferenza]]''' che stabiliscono quando una formula è una conseguenza logica di altre formule.
 
Esempi di teorie del primo ordine sono l'[[aritmetica di Peano]] e, l'[[aritmetica di Robinson]], la [[teoria assiomatica degli insiemi]].
 
== Dimostrazioni formali ==
3 866

contributi