Hay una generalización de compacidad para lenguajes de orden más alto que los lenguajes de primer orden.