La paradoja de Cantor muestra que el concepto de un conjunto que contenga todos los conjuntos lleva a una contradicción matemática. Según el teorema de Cantor, la cantidad de subconjuntos de un conjunto es siempre mayor que la cantidad de elementos en el conjunto original. Pero si existiera un conjunto de todos los conjuntos, este tendría que contener sus propios subconjuntos, lo que viola el teorema de Cantor.

1. ARADOJA DE CANTOR: EL CONJUNTO DE TODOS LOS CONJUNTOS
Sea C el conjunto de todos los conjuntos. Entonces todo subconjunto de C es así
mismo un elemento de C; luego, el conjunto potencia de C es un subconjunto de C;
pero esto implica que la cardinalidad del conjunto potencia es menor o igual a la
cardinalidad de C. Pero entonces, según el teorema de Cantor, la cardinalidad de C
debe ser menor a la cardinalidad del conjunto potencia. Así pues, el concepto de
conjunto de todos los conjuntos lleva a una contradicción.