En topología, se dice que un espacio topológico verifica el primer axioma de numerabilidad (o que es primero numerable o primero contable) si cada punto del espacio tiene una base de entornos numerable. En forma abreviada, suele decirse también que el espacio es 1AN o ANI.
Estos espacios son de importancia porque permiten controlar mejor los entornos. Por ejemplo, en cualquier espacio que cumpla el primer axioma de numerabilidad, se tiene que compacto implica sucesionalmente compacto, así como también la continuidad queda caracterizada por las sucesiones (lo cual, en general, no es cierto).