Epsilones |
► Paradojas |
Paradoja de Russell |
|||
Los conjuntos parecen ser de dos tipos: los que se contienen a sí mismos como miembros y los que no. Un ejemplo de los primeros sería el conjunto de las cosas pensables, pues a su vez es una cosa pensable. Un ejemplo de los segundos 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.
Consideremos ahora 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. |
|||
|
Comentarios |
Epsilones.
Sitio + o - matemático de Alberto Rodríguez Santos. Correo: alberto@epsilones.com. En la red desde el 4-7-2002 (ya hace). Última actualización: ver Novedades. |