Propiedad de Löwenheim–Skolem

Conjunto de resultados y la propiedad asociada para una lógica o teoría que fuerzan restricciones sobre las cardinalidades de los modelos: típicamente el teorema de Löwenheim–Skolem descendente afirma que un conjunto satisfacible de oraciones posee un modelo de a lo sumo cierta cardinalidad menor (a menudo numerable), mientras que versiones ascendentes aseguran la existencia de modelos mayores; en