Incohérence

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'un ensemble de phrases à partir duquel une contradiction peut être dérivée selon la relation de conséquence donnée, ou équivalente d'une théorie qui prouve à la fois une formule et sa négation.