Paradoja en teoría de conjuntos que muestra que la comprensión no restringida (formar el conjunto de todos los elementos que satisfacen una propiedad arbitraria) conduce a contradicción, clásicamente exhibida por R = {x | x ∉ x}.

Principio

Si cualquier colección definible de objetos es un conjunto, entonces considerar la colección de todos los conjuntos que no se contienen a sí mismos produce una cuestión de pertenencia sobre esa colección que da lugar a contradicción al preguntar '¿Pertenece R a R?'.

Demostración

Sea R = {x | x ∉ x}. Si R ∈ R entonces por definición R ∉ R; si R ∉ R entonces por definición R ∈ R. Ambas respuestas contradicen el principio de comprensión que permitió formar R, exponiendo la inconsistencia de la formación ingenua de conjuntos.

Aplicación incorrecta

Aplicar comprensión no restringida en teorías formales de conjuntos o suponer que clases y conjuntos son intercambiables sin calificación; o intentar desestimar la paradoja como mera cuestión lingüística en lugar de un problema fundamental para la elección axiomática.

Consecuencia

Condujo a remedios axiomáticos: restringir la comprensión (esquema de separación), adoptar teoría de tipos o distinguir conjuntos y clases propias; las teorías modernas (p. ej. ZF) evitan la paradoja al limitar los axiomas de formación.

Inversión

Si la comprensión se mantuviera intacta, las matemáticas serían inconsistentes; la inversión es adoptar una ontología jerárquica o tipada donde la construcción problemática es simplemente mal formada y no paradójica.

Límite

Se refiere a teorías ingenuas de conjuntos que permiten formar conjuntos a partir de cualquier propiedad. No afecta a teorías que imponen restricciones de formación ni a contextos en que las colecciones se tratan explícitamente como clases con reglas distintas.

Tensión semántica

Tensión entre la idea intuitiva de que cualquier colección describible debería ser un conjunto y el requisito técnico de restringir la formación de conjuntos para prevenir contradicción; esto enfrenta ontología ingenua con axiomatización rigurosa.

Síntesis

La paradoja de Russell identifica un límite en la formación de conjuntos: la comprensión ingenua produce contradicción, por lo que los marcos fundacionales consistentes deben restringir las reglas de formación (mediante axiomas, tipos o distinción clase/conjunto) para preservar la consistencia.