théorème de Löwenheim-Skolem

concept théorème selon lequel si un ensemble de formules admet un modèle infini, alors il admet un modèle de n’importe quelle cardinalité infinie supérieure ou égale au cardinal du langage et de l’ensemble de formules

Aussi : théorème de Skolem