effective denumerability

Мат. эффективная счетность