Intuitivamente, un conjunto de fórmulas es consistente cuando no es posible deducir una contradicción del mismo.