Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Voci correlate: fix wikilink, aggiungo collegamento a Treccani |
m Correggo redirect da Teoria degli insiemi di Zermelo - Fraenkel a Teoria degli insiemi di Zermelo-Fraenkel tramite popup |
||
Riga 11:
* 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]], l'[[aritmetica di Robinson]], la [[teoria degli insiemi di Zermelo
== Dimostrazioni formali ==
| |||