¿Cómo es el Cantor de la paradoja se resuelve en el sistema de ZFC?
Gracias.
Respuesta
¿Demasiados anuncios?
Suponiendo que ZF es consistente, los axiomas de ZF, con o sin el axioma de elección, simplemente no permitir que un "conjunto de todas las cardinalidades' para ser formado; que es una colección de clase adecuada, y en ZF no hay clases como objetos formales. Son más bien se identifica con los predicados. Por ejemplo, ¿qué es (de manera informal en ZF, formalmente, por ejemplo, NBG) la clase de todos los conjuntos pueden ser identificados con el predicado $x=x$. La discusión de Cantor de la paradoja en la Wikipedia es un punto de partida razonable.
