===Possui bases enumeráveis?===

Sabemos pela [[venteNenumBaseLocEnum|demonstração]] anterior que o ventilador não enumerável não admite [[topologia:baselocalenumeravel|bases locais enumráveis]], assim por sabermos que o primeiro axioma de enumerabilidade implica o segundo, temos que o ventilador não enumerável não admite [[topologia:basesenumeraveis|Bases Enumeráveis]].<wrap right>$\square$</wrap>