Un conjunto de fórmulas formula_6 en lógica de primer orden es consistente (expresado como Conformula_6) si y solo si no existe una fórmula formula_8 tal que formula_9 y formula_10.