Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m aggiunto wikilink |
m Tolgo il parametro di {{Thesaurus BNCF}} per usarlo con Wikidata |
||
Riga 40:
* [[Completezza (logica matematica)|Completezza]]
* [[Consistenza (logica matematica)|Consistenza]]
== Collegamenti esterni ==
* {{Thesaurus BNCF}}
{{Portale|matematica}}
| |||