аксиома счетности

Мат. axiom of countability, countability axiom, denumberability axiom