Ich nehme einen anderen Weg als den des Hinweises:
Sei \(P\) die Menge der Primzahlen. \(P=\{p_n:\; n \in \mathbb{N}\}\)
Man definiere
\(f:D\rightarrow\mathbb{N}\) durch \(f(x)=\prod_{n \in\mathbb{N}}p_n^{x_n}\).
Wegen der eindeutigen Primzahlzerlegung in \(\mathbb{N}\)
ist \(f\) injektiv, d.h. \(D\) ist gleichmächtig einer Teilmenge von \(\mathbb{N}\)
und damit abzählbar.