topologia:axiomas_de_enumerabilidade