##  [Paradoja de Russell](/es/node/60114) 

 Definición

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

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

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

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

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

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

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 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

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.