Una formulación alternativa es: los distintos lenguajes lógicos permiten relaciones de consecuencia lógica entre conjuntos infinitos de oraciones.