Inconsistencia

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propiedad de un conjunto de enunciados a partir del cual puede derivarse una contradicción según la relación de consecuencia dada, o equivalentemente de una teoría que prueba tanto una fórmula como su negación.