Un paradoxe en théorie des ensembles montrant que la compréhension non restreinte (former l'ensemble de tous les éléments satisfaisant une propriété arbitraire) conduit à la contradiction, classiquement illustré par R = {x | x ∉ x}.

Principe

Si toute collection définissable d'objets est un ensemble, alors considérer la collection de tous les ensembles qui ne se contiennent pas produit une question d'appartenance à propos de cette collection qui mène à la contradiction lorsqu'on demande « R appartient-il à R ? ».

Démonstration

Soit R = {x | x ∉ x}. Si R ∈ R alors par définition R ∉ R ; si R ∉ R alors par définition R ∈ R. Chaque réponse contredit le principe de compréhension qui a permis la formation de R, révélant l'incohérence de la compréhension naïve.

Mauvaise application

Appliquer la compréhension non restreinte dans des théories formelles des ensembles ou supposer que classes et ensembles sont interchangeables sans qualification ; ou tenter de rejeter le paradoxe comme une simple question linguistique plutôt que comme un problème fondamental pour le choix axiomatique.

Conséquence

A conduit à des remèdes axiomatiques : restreindre la compréhension (schéma de séparation), adopter la théorie des types, ou distinguer ensembles et classes propres ; les théories modernes (par ex. ZF) évitent le paradoxe en limitant les axiomes de formation.

Inversion

Si la compréhension était maintenue telle quelle, les mathématiques deviendraient inconsistantes ; l'inversion consiste à adopter une ontologie hiérarchique ou typée où la construction problématique est simplement mal formée plutôt que paradoxale.

Limite

Concerne les théories naïves des ensembles qui permettent la formation d'ensembles à partir de toute propriété. Il n'affecte pas les théories qui imposent des contraintes de formation, ni les contextes où les collections sont traitées explicitement comme des classes avec des règles distinctes.

Tension sémantique

Tension entre l'intuition selon laquelle toute collection décrite devrait être un ensemble et l'exigence technique de restreindre la formation d'ensembles pour prévenir la contradiction ; cela oppose une ontologie naïve à une axiomatisation rigoureuse.

Synthèse

Le paradoxe de Russell délimite une limite dans la formation d'ensembles : la compréhension naïve entraîne la contradiction, donc les cadres fondateurs cohérents doivent restreindre les règles de formation (par axiomes, types ou distinctions classe/ensemble) pour préserver la consistance.