Coerenza (logica matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Annullata la modifica 93726982 di Blackcat (discussione) cfr. Dizionario delle Scienze Fisiche Treccani o dizionario Collins della matematica Etichetta: Annulla |
||
Riga 1:
{{S|logica}}
In [[logica matematica]], una teoria formale si dice '''coerente''' (o '''non contraddittoria''', talvolta anche '''consistente''', per assonanza con l'inglese ''consistent'') se in essa è impossibile dimostrare una contraddizione.
A priori si distinguono due livelli di consistenza:
| |||