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