Let $\mathbb{N}$ be the D225: Set of natural numbers such that
| (i) | $\mathbb{N} \times \mathbb{N}$ is a D191: Binary cartesian set product for $(\mathbb{N}, \mathbb{N})$ |
Then $\mathbb{N} \times \mathbb{N}$ is a D16: Countable set.