Théorème de Löwenheim-Skolem
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 / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Théorème de Löwenheim-Skolem?
Résumez cet article pour un enfant de 10 ans
En théorie des modèles, le théorème de Löwenheim-Skolem, énoncé par Leopold Löwenheim en 1915 et démontré entièrement en 1920 par Thoralf Skolem, établit que si un ensemble de formules closes de la logique du premier ordre 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. Le résultat est souvent présenté sous la forme de deux théorèmes : le théorème de Löwenheim-Skolem ascendant et le théorème de Löwenheim-Skolem descendant.
Cet article est une ébauche concernant la logique et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.