Let $\emptyset$ be the D13: Empty set.
The Von Neumann ordinal sequence is the D62: Sequence \begin{equation} \emptyset, \quad \mathcal{P}(\emptyset), \quad \mathcal{P}(\mathcal{P}(\emptyset)), \quad \mathcal{P}(\mathcal{P}(\mathcal{P}(\emptyset))), \quad \ldots \end{equation}