{1,2,3,4}}xℕ>0
= { (1,1) , (2,1), (3,1), (4,1), (1,2), (2,2), (3,2), (4,2), (1,3),(2,3), (3,3), (4,3), (1,4),(2,4), (3,4), (4,4), (1,5),…}
D.h. die Menge von Zahlenpaaren, mit erster Komponente 1, 2, 3, 4 und zweiter Komponente irgendeine positive natürliche Zahl. Meine unvollständige Aufzählung kannst du abzählen (Pärchen eindeutig mit Nummern versehen). Daher ist sie abzählbar.