first axiom of countability