Demostró que resultaba en una contradicción, donde Y es un miembro de Y, si y solo si, Y no es un miembro de Y.