Let $\mathbb{N}$ be the D225: Set of natural numbers such that
| (i) | $\mathcal{P}(\mathbb{N})$ is the D80: Power set of $\mathbb{N}$ |
Then
| (1) | $\mathbb{N}$ is a D16: Countable set |
| (2) | $\mathcal{P}(\mathbb{N})$ is an D1195: Uncountable set |