Paradoxe de skolem

Le paradoxe de Skolem est une conséquence troublante du théorème de Löwenheim-Skolem en théorie des ensembles. C'est un paradoxe au sens premier de ce terme : il va contre le sens commun, mais ce n'est pas une antinomie, une contradiction que l'on pourrait déduire dans la théorie. Il affirme qu'une théorie des ensembles, comme ZFC, a un modèle dénombrable, alors que l'on sait par ailleurs que ce modèle contient des ensembles non dénombrables.

Énoncé

Le théorème de Löwenheim-Skolem connait plusieurs variantes, prenons la suivante, en calcul des prédicats égalitaire du premier ordre, construit sur une signature (symboles primitifs non logiques) au plus dénombrable, tout modèle infini contient un sous-modèle dénombrable élémentairement équivalent, c'est-à-dire qu'il satisfait exactement les mêmes énoncés. En particulier la théorie des ensembles ZFC, utilise comme seul symbole non logique celui de la relation d'appartenance. Donc, si ZFC est cohérente, elle a un modèle, nécessairement infini à cause des axiomes, et ce modèle possède une sous-structure dénombrable qui satisfait exactement les mêmes énoncés, en particulier les axiomes de ZFC. Les « points » de cette structure, qui sont des ensembles, sont, en tant qu'ensembles, inclus dans la classe de tous les ensembles, le support de la structure.

Or, l'un des premiers résultats de la théorie des ensembles est la démonstration de l'existence d'un ensemble non dénombrable. C'est une conséquence immédiate du théorème de Cantor. Comment un ensemble non dénombrable pourrait-il être inclus dans une sous-structure dénombrable ?

Résolution

Comme souligné par Skolem, le problème réside dans la relativité de ce qu'on appelle ici dénombrable. En théorie des ensembles, un ensemble est dénombrable s'il est en bijection avec N, l'ensemble des entiers naturels. Mais nous avons utilisé cette notion en deux sens différents : les ensemble dénombrables au sens du modèle de ZFC, et les ensemble dénombrables au sens de la théorie intuitive dans laquelle nous avons énoncé le théorème de Löwenheim-Skolem. On peut tout à fait formaliser ce théorème en théorie des ensembles, mais on ne peut faire coïncider le modèle de ZFC dans lequel on a effectué cette formalisation, et celui auquel on applique le théorème. Dans le modèle dénombrable de ZFC obtenu par Löwenheim-Skolem, il existe bien une collection (un ensemble de l'univers de la formalisation) de couples qui établit une bijection entre les ensembles N et R du modèle, mais comme R, l'ensemble des réels, n'est pas dénombrable, cette collection n'est pas représentée par un ensemble de ce modèle. Ce n'est même pas une classe. Il n'y a aucun moyen d'en parler dans ce modèle. L'ensemble R est bien non dénombrable au sens du modèle.

Le paradoxe repose sur une interprétation trop « intuitive » de la théorie axiomatique des ensembles, qui est une théorie formelle de l'appartenance au premier ordre, et sur une confusion entre méta-théorie et théorie, réminiscente des paradoxes des théories des ensembles insuffisamment formalisées comme ceux de Richard et de Berry. L'existence, pour tout modèle de ZFC, d'une sous-structure dénombrable élémentairement équivalente, est en fait un résultat utile de théorie des ensembles.

Bibliographie

• Skolem Sur la logique mathématique, 1928. Article reproduit in Jean Largeault, Logique Mathématique Textes, Armand Colin.

• Portail des mathématiques