Generalizando, la consistencia es una propiedad que pueden tener los conjuntos de fórmulas.