Ante todo, no existe ningún conjunto y tal que y 6= y.

No ya por el axioma
de extensionalidad, sino simplemente porque eso es una contradicción lógica.
Por eso una definición posible del conjunto vacı́o es ∅ = {y | y 6= y}, porque
un conjunto definido ası́ no puede tener elementos, ya que y 6= y no se cumple
nunca. T V
Ahora pasemos a ∅ = {x | y ∈ ∅ x ∈ y}.

V Toma un conjunto arbitrario x. La pregunta es ¿es cierto T o es falso que

y ∈ ∅ x ∈ y? Si concluimos que es cierto, entonces x ∈ ∅, porque cumple T
la condición que define esta clase, y si concluimos que es falso entonces x ∈/ ∅.
V
Pero sucede queV y ∈ ∅ x ∈ y es una afirmación verdadera. Más detallada-
mente, se trata de y(y ∈ ∅ → x ∈ y). Decir que esta afirmación es verdadera
equivale a decir que y ∈ ∅ → x ∈ y es verdadera para todo conjunto y. Pero
esta implicación es verdadera porque y ∈ ∅ es falsa, y una implicación con
hipótesis falsa siempre es verdadera.
Otra forma de verlo. Si fuera falso que x pertenece a todo elemento del
conjunto vacı́o, entonces tendrı́a que ser verdadero que existe un elemento del
conjunto vacı́o al cual no pertenece x, pero eso no puede ser cierto porque no
existen elementos del conjunto vacı́o.
Un razonamiento puramente formal (de acuerdo con el capı́tulo II de mi libro
de lógica):

(1) y∈∅ Hipótesis

(2) y 6= y Por definición de ∅
(3) y=y Regla de la identidad
(4) x∈y Regla de la contradicción 2,3
(5) yV∈ ∅ → x ∈ y Teorema de deducción
(6) y(y ∈ ∅ → x ∈ y) Introducción del generalizador 5
(7) cto x V Hipótesis
(8) cto xT∧ y(y ∈ ∅ → x ∈ y) Introducción del conjuntor
T 6,7
(9) x∈ ∅ T Por definición de ∅
(10) V x → x ∈ ∅T
cto Teorema de dedución
(11) x(cto x → x ∈ ∅) Introducción del generalizador 10

T
Por lo tanto, ∅ contiene a todos los conjuntos.
En la hoja que me has enviado dices: “estamos diciendo que y 6= y”, pero
eso es capcioso. No estamos hablando de ningún conjunto que cumpla y 6= y.
Eso no existe. Lo que estamos diciendo es que x pertenece a todos los conjuntos
que cumplen y 6= y porque no existen tales conjuntos, igual que podemos decir
(y es verdad) que tú eres amigo de todos los unicornios de la Tierra, porque no
hay unicornios en la Tierra, luego no hay ningún unicornio que no sea tu amigo.