Sabemos pela demonstração anterior que o ventilador não enumerável não admite 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 Bases Enumeráveis.$\square$