Todo conjunto de fórmulas "satisfactible" es consistente, un conjunto de fórmulas formula_6 es "satisfactible" si y solo si existe un modelo formula_33 tal que formula_34.