La relación de consecuencia lógica para lenguajes de primer orden es compacta.