Propriété de Löwenheim–Skolem

Famille de résultats et propriété associée pour une logique ou une théorie qui contraignent les cardinalités des modèles : typiquement le théorème de Löwenheim–Skolem descendant affirme qu'un ensemble satisfiable de phrases possède un modèle d'une cardinalité au plus égale à une certaine cardinalité plus petite (souvent dénombrable), tandis que les versions montantes assurent l'existence de modèle