Topologia e conjuntos em exercícios

$ \omega \in V_{\omega + \omega} $. Seja $ \phi(n) = V_{\omega +n} $.

Pelo axioma da substituição, $ X = \{V_{\omega + n} : n \in \omega\} \in V_{\omega+\omega} $. Da união $ \bigcup X = V_{\omega + \omega} \in V_{\omega + \omega} $.