Axioms of countability