Une Théorie est cohérente ou non-contradictoire quand ses conclusions logiques permettent de maintenir un cadre raisonné et logique
Exemple d’une théorie incohérente : Imagine que dans ma théorie je puisse à la fois énoncer “Les oranges sont toutes oranges” et “Les oranges ne sont pas oranges”, et que ma théorie me permette de prouver tout cela en même temps. Cette théorie ne serait pas très utile, car elle n’est pas très logique.
On dit que cette théorie est incohérente, car elle permet de démontrer à la fois un énoncé et sa négation. Elle est donc contradictoire.