Theoreme de Lowenheim-Skolem


Theoreme de Lowenheim-Skolem

Théorème de Löwenheim-Skolem

Le théorème de Löwenheim-Skolem fait partie de la théorie des modèles. Sa simplicité et sa puissance en font un théorème majeur — avec le théorème de compacité.

Sommaire

Théorème

Soit T une théorie du premier ordre.

Énoncé
Si T admet un modèle infini, ou des modèles finis arbitrairement grands, elle admet un modèle de n'importe quel cardinal plus grand que celui de T.
En particulier, quand T est finiment axiomatisable, et admet un modèle infini, elle admet un modèle dénombrable.
Preuve
Avec des modèles finis arbitrairement grands, on peut ajouter, à la théorie, des constantes ci deux à deux distinctes. Toute partie finie de la théorie admet un modèle ; par compacité, on obtient un modèle infini.

Variante

Si le modèle est infini, le théorème de Löwenheim-Skolem permet d'augmenter son cardinal à n'importe quel cardinal supérieur.

Corollaires

  • Si on applique le théorème à la théorie des ensembles ZFC, ou à une autre théorie axiomatique destinée à fonder les théorèmes de Cantor, on obtient un univers dénombrable de tous les ensembles définis dans ZFC. Mais on peut prouver dans ZFC qu'il existe des ensembles indénombrables. Autrement dit ZFC affirme qu'il existe plus d'ensembles qu'elle n'en peut définir : c'est le paradoxe de Skolem.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de L%C3%B6wenheim-Skolem ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Theoreme de Lowenheim-Skolem de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Théorème de löwenheim-skolem — Le théorème de Löwenheim Skolem fait partie de la théorie des modèles. Sa simplicité et sa puissance en font un théorème majeur avec le théorème de compacité. Sommaire 1 Théorème 2 Variante 3 Corollaires …   Wikipédia en Français

  • Théorème de Löwenheim-Skolem — En théorie des modèles, les théorèmes de Löwenheim Skolem désignent plusieurs théorèmes, essentiellement deux, le théorème de Löwenheim Skolem ascendant et le théorème de Löwenheim Skolem descendant, qui permettent d établir l existence d un… …   Wikipédia en Français

  • Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

  • Theoreme de completude de Godel — Théorème de complétude de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au …   Wikipédia en Français

  • Théorème de complétude — de Gödel Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute… …   Wikipédia en Français

  • Théorème de complétude de gödel — Le théorème de complétude du calcul des prédicats du premier ordre a été démontré par Kurt Gödel (1929, thèse de doctorat, sur la complétude du calcul logique). Il affirme que le calcul des prédicats est complet au sens où toute proposition qui… …   Wikipédia en Français

  • SKOLEM (A. T.) — SKOLEM ALBERT THORALF (1887 1963) Logicien et mathématicien norvégien né à Sandsvaer et mort à Oslo. Ses travaux en algèbre (théorème de Skolem Noether pour les algèbres associatives) et en théorie des nombres (introduction des méthodes p adiques …   Encyclopédie Universelle

  • Theoreme de Tarski — Théorème de Tarski Le théorème de Tarski, ou théorème de non définissabilité de Tarski, peut s énoncer informellement ainsi : on ne peut définir dans le langage de l arithmétique la vérité des énoncés de ce langage. Définir un ensemble de… …   Wikipédia en Français

  • Théorème d'incomplétude de Tarski — Théorème de Tarski Le théorème de Tarski, ou théorème de non définissabilité de Tarski, peut s énoncer informellement ainsi : on ne peut définir dans le langage de l arithmétique la vérité des énoncés de ce langage. Définir un ensemble de… …   Wikipédia en Français

  • Théorème de tarski — Le théorème de Tarski, ou théorème de non définissabilité de Tarski, peut s énoncer informellement ainsi : on ne peut définir dans le langage de l arithmétique la vérité des énoncés de ce langage. Définir un ensemble de nombres entiers dans… …   Wikipédia en Français