Power sets in set theory What is the set $\mathcal{P}(\mathcal{P}(\mathcal{P}( \emptyset )))$? 
Would it be $\{\{\{ \emptyset\}\}\}$?
I understand that $\mathcal{P}(\{a,b,c\}) = \{ \{ \}, \{a\}, \{b\}, \{c\}, \{a,b\}, \{a,c\}, \{b,c\}, \{a,b,c\} \}$.

For every set $A$ we have $A\subseteq A$ so that $A\in\wp(A)$. So also for $\varnothing$. If $B\neq\varnothing$ then some $b$ exists with $b\in B$. So in that case $B\subseteq\varnothing$ would lead to $b\in\varnothing$, wich is evidently not true. We conclude now that $\varnothing$ is the only subset of $\varnothing$. That is:$$\wp(\varnothing)=\{\varnothing\}$$
Looking at $\{\varnothing\}$ we find exactly two subsets: $\varnothing$ (which is a subset of every set) and $\{\varnothing\}$. This leads to:$$\wp(\wp(\varnothing))=\wp(\{\varnothing\})=\{\varnothing,\{\varnothing\}\}$$
This set has $4$ subsets (find them!). I leave the rest to you. 
