Coerenza (logica matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m chiarificazione |
m Aggiunti alcun link interni |
||
Riga 16:
* [[Teoria del primo ordine]]
* [[Completezza (logica matematica)|Completezza]]
* [[Correttezza (logica matematica)|Correttezza]]
[[en:Consistency]]
|