Si bien la lógica de primer orden tiene compacidad en el sentido previamente explicado otras lógicas "más potentes" como la lógica de segundo orden no tienen la propiedad de compacidad.