[escepticos] Sobre el criterio de existencia

[Eloy Anguiano Rey]

> Veamos en la demostración utilizo:
> Defines un Universo U dentro del cual puedo definir el conjunto de todas las
> ideas; dicho conjunto es un conjunto impropio, luego en tu Universo U
> existen conjuntos impropios, análogamente defino qué son conjuntos propios
> como por ejemplo el conjunto de participantes en esta lista, que no es un
> participante en la lista, tu universo U permite definir el conjunto de los
> conjuntos propios como elemento de U y por pertenecer dicho conjunto a U
> llegamos a una contradicción. Conclusión por el principio de no
> contradicción U no es admisible en Matemáticas. El que sea la clase de todas
> las ideas una idea solamente es un ejemplo para que se entiendan los
> conceptos, pero es irrelevante en el razonamiento. Si hubiera evitado todo
> lo anterior y hubiera empezado (olvidandome de las ideas y conjuntos de
> ideas) por: "un conjunto es propio si no es elemento de si mismo" y a partir
> de ahí como el conjunto de todos los conjunts propios es un ente real o
> imaginario el resto de la demostración es válida.


Joder, que no, que tu razonamiento no tiene nada que ver con el que
planteo. No, un conjunto no es un ente, ni real ni imaginario.