formula_6 es simplemente consistente si y solo si para ninguna fórmula formula_8 de formula_6 son tanto formula_8 como la negación de formula_8 teoremas de formula_6.