Is power set of a power set of a set equal to the power set of the same set? I have to decide whether this statement is true, I think it is not.
Since the power set of a set with cardinality $n$, will have $2^n$ subsets, however the power set of this set will include the subsets themselves and subsets of the subsets. 
 A: You are right. You can start by $A=\{a\}$.
$P(A) = \{\emptyset, \{a\}\}$
$P(P(A)) = \{\emptyset, \{\emptyset\}, \{\{a\}\}, \{\emptyset, \{a\}\}\}$
To reduce confusion of $\emptyset$, you can do $B = \{a,b\}$. However $P(P(B))$ will be length to list and I am too lazy to do this. (Actually making clear on all those sets involves empty set will make you clearer on understanding power set of a power set.)
A: All the proofs given above are for finite sets, but what if it is an $\textit{arbitrary}$ set?
Well, $\mathcal{P}(\mathcal{P}(X))=\mathcal{P}(X)$ is still false if you were to assume a set theoretic axiom called Regularity Axiom, which forbids the existence of sets that belong to themselves. Since  $\mathcal{P}(X)\in\mathcal{P}(\mathcal{P}(X))$, then we would have $\mathcal{P}(X)\in\mathcal{P}(X)$, a contradiction  by this axiom.
A: You are correct, and just need to choose one strategy for a proof and stick to it. Either you take some concrete small set (say with one element, or maybe even no elements), compute the double power set and show it is different from the power set. Or you argue by cardinality, in which case state the formulas clearly and show that the power set of the power set (of any finite set) always contains more elements then the power set of the same set. Here again, it is better to fix some finite cardinality to consider, e.g., $1$ or $0$. 
