formula_6 es máximamente consistente si y solo si para toda fórmula formula_8, si Con formula_24 entonces formula_25.