Pegue todos os conjuntos que não contenham a si mesmos como elementos. Faça com eles um conjunto chamado S.
A pergunta: S está contido nesse conjunto?
Se S não contiver a si mesmo, ele não contém todos os conjuntos que não contém a si mesmo, já que ele próprio é um deles e, de acordo com o começo da frase, não pertence ao conjunto.
Só que S não pode conter a si mesmo, pois nesse caso S seria um elemento do conjunto, mas contrariaria a regra de que os elementos de S não podem conter a si mesmo.