Si el sistema lógico posee la primera propiedad, se dice que es correcto, y si posee la segunda, se dice que es completo.