En
logique mathématique, la
cohérence, ou
consistance, d'une
théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique la théorie : celle-ci possède des réalisations qui lui donnent un sens.