Basta lembrarmos que axiomas de enumerabilidade são preservados por produto, e $\mathbb{N}$ satisfaz o segundo axioma.