Iterated Power Sets and the von Neumann Construction of Finite Ordinals

Each finite ordinal is the set of all smaller ordinals, so $n=\{0,1,\dots,n-1\}$; inside an iterated power set $\mathcal{P}^k(\emptyset)$ only finitely many subsets happen to be exactly such ordinals.