Hay algunas propiedades de estructuras que podemos expresar incluso sin utilizar los símbolos no lógicos de un lenguaje. Por ejemplo, hay frases que son verdaderas en una estructura si el dominio de l...Hay algunas propiedades de estructuras que podemos expresar incluso sin utilizar los símbolos no lógicos de un lenguaje. Por ejemplo, hay frases que son verdaderas en una estructura si el dominio de la estructura tiene al menos, como máximo, o exactamente un cierto númeron de elementos.