множество, бесконечное множество, элементы которого можно занумеровать натуральными числами, то есть установить взаимно однозначное соответствие между этим множеством и множеством всех натуральных чисел. Как доказал Г. Кантор , множество всех рациональных чисел и даже множество всех алгебраических чисел - счётны, однако множество всех действит