\(\mathbb{Z}[X]\) ist die Menge aller ganzzahligen Polynome.
Ist \(n\in \mathbb{N}\), so bezeichne \(P_n\) die Menge
der Polynome aus \(\mathbb{Z}[X]\), deren Grad \(\leq n\) ist.
Nun ist \(P_n\) gleichmächtig zu \(\mathbb{Z}^{n+1}\), also abzählbar,
da cartesische Produkte mit endlich vielen abzählbaren Faktoren
abzählbar sind.
\(\mathbb{Z}[X]=\bigcup_{n\in\mathbb{N}}P_n\) ist dann eine Vereinigung
abzählbar vieler abzählbarer Mengen, also selbst abzählbar.