DejarX ser un conjunto y definir una secuencia de conjuntos⟨Xn∣n∈N⟩ porX0=X yXn+1=P(Xn). Let\(Y=\bigcup_{n=0}^{\infty}...DejarX ser un conjunto y definir una secuencia de conjuntos⟨Xn∣n∈N⟩ porX0=X yXn+1=P(Xn). LetY=⋃∞n=0Xn. Demostrar que eseF(s) es el conjunto “diagonal” de Teorema6.7 (dondeX=N, yF∘f es la enumeración de subconjuntos deN), y por lo tanto esoF(s)∉(F∘f)[N].