¿Qué es?
No se ha añadido ninguna twiki todavía.
Junto con la completud una de las propiedades de mayor importancia de la estructura lógica de las teorías. Una teoría, T, entendida como sistema axiomático, es consistente si y sólo si no contiene a la vez una afirmación (p) y su negación (¬p); en caso contrario es inconsistente.
Propiedad de dos o más enunciados que pueden ser verdaderos al mismo tiempo. Un conjunto de fórmulas es sintácticamente consistente si y sólo si de ellas no puede deducirse una contradicción, que puede expresarse como un conjunto de fórmulas es semánticamente consistente si y sólo si hay por lo menos una interpretación de sus variables que hace verdadero a todo el conjunto. Si tales fórmulas representan a una teoría, existe entonces un modelo de dicha teoría.