Нумерация алгебраических чисел. Почему именно так? Виленкин

[arseniiv]

(Полугруппа, а если входит ноль, то моноид, это да. Но для счётности это ведь не важно. Потом они не только полугруппа, а полукольцо, и на них и порядок есть, и частичный порядок делимости (грех его не упоминать, он такой полезный в их применениях), и куча всяких других вещей — структура полукольца не выглядит самой важной из всех.)

[Munin]

arseniiv в сообщении #1419411 писал(а):

Но для счётности это ведь не важно. :-)

Я хотел придать какой-то смысл "естественности". Боюсь, в категории множеств нет способа как-то выделить одну биекцию из нескольких, для множеств и более чем одного элемента.