countability

хорошее описание проблемы в этом проекте (постепенно формируется): http://www.count-and-mass.org/

тут тоже придется говорить о квази-кардиналах и т.п.