Paradoja de Russell

Pongamos q hay 2 tipos de conjuntos:

• los que se contienen a sí mismos como miembros: Un ejemplo sería el conjunto de las cosas pensables, pues a su vez es una cosa pensable
• Los que no se contienen a sí mismos como miembros: Un ejemplo sería el conjunto de los matemáticos, pues el conjunto en sí no es un matemático y, por tanto, no pertenece al conjunto como miembro.

Ahora consideramos el conjunto: todos los conjuntos que no se contiene a sí mismos como miembro. Llamémosle T. ¿está T contenido en sí mismo como miembro? Si lo está, por definición no se contiene a sí mismo, luego no lo está. Pero si no lo está, por definición, debe estar.

Pincha aquí para más información