Supongamos un conjunto que consta de elementos que no son miembros de sí mismos. Un ejemplo descrito es el que supone un conjunto que consta de "ideas abstractas". Dicho conjunto es miembro de sí mismo porque el propio conjunto es una idea abstracta, mientras que un conjunto que consta de "libros" no es miembro de sí mismo porque el conjunto en sí no es un libro. Russell preguntaba (en carta escrita a Frege en 1902), si el conjunto de los conjuntos que no forman parte de sí mismos (es decir, aquel conjunto que engloba a todos aquellos conjuntos que no están incluidos en sí mismos, como el de "libros" en el ejemplo anterior) forma parte de sí mismo. La paradoja consiste en que si no forma parte de sí mismo, pertenece al tipo de conjuntos que no forman parte de sí mismos y por lo tanto forma parte de sí mismo. Es decir, formará parte de sí mismo sólo si no forma parte de sí mismo.
Enunciemos la paradoja de otra forma: llamemos M al "conjunto de todos los conjuntos que no se contienen a sí mismos como miembros". Es decir
Según la teoría de conjuntos de Cantor, la ecuación (1) se puede representar por
Es decir "Cada conjunto es elemento de M si y sólo si no es elemento de sí mismo". Ahora, en vista de que M es un conjunto, se puede substituir x por M en la ecuación (2), de donde se obtiene
Es decir que M es un elemento de M si y sólo si M no es un elemento de M, lo cual es absurdo.
--------------------------------------------------------------------------------------------------------
Ahora en términos simples con la historia del Barbero:
En un lejano poblado de un antiguo emirato había un barbero llamado As-Samet diestro en afeitar cabezas y barbas, maestro en escamondar pies y en poner sanguijuelas. Un día el emir se dio cuenta de la falta de barberos en el emirato, y ordenó que los barberos sólo afeitaran a aquellas personas que no pudieran hacerlo por sí mismas. Cierto día el emir llamó a As-Samet para que lo afeitara y él le contó sus angustias:
- -- En mi pueblo soy el único barbero. No puedo afeitar al barbero de mi pueblo, ¡que soy yo!, ya que si lo hago, entonces puedo afeitarme por mí mismo, por lo tanto ¡no debería afeitarme! Pero, si por el contrario no me afeito, entonces algún barbero debería afeitarme, ¡pero yo soy el único barbero de allí!
El emir pensó que sus pensamientos eran tan profundos, que lo premió con la mano de la más virtuosa de sus hijas. Así, el barbero As-Samet vivió para siempre feliz.
-----------------------------------------------------------------------------------------------------------------------------------------------------------
Ahora en términos de clases o conjuntos:
Existe una Clase que incluye a todas las clases que no se incluyen a sí mismas
¿la Clase también se incluye?
