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 |