Countability axiom

Summary