Coerenza (logica matematica): differenze tra le versioni

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.

 

* '''coerenza sintattica''' se nella teoria non si possono dimostrare contemporaneamente una [[formula ben formata]] e la sua negazione;

* '''coerenza semantica''' se la teoria ammette almeno un [[modello (logica matematica)|modello]].