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
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Théorème_de_Löwenheim-Skolem
Lien Wikidata : https://www.wikidata.org/wiki/Q1068283