===== $\mathbb{N}^{\mathbb{N}}$ possui bases locais enumeráveis =====

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