Si no es así, entonces se dice que el sistema es inconsistente.