Здравствуйте, wvoquine, Вы писали:
W>Разные же бесконечности — а именно бесконечные кардинальные числа — это скорее лучше называть теорией множеств, а не просто матлогикой
да, это скорее она
просто ее отдельно не проходят, она входит в часть почти всех остальных курсов, которые фокусируются на немного разных ее вещах
матан, например, напирает на измеримость, ограниченность, покрытие множествами
алгебра над разбиениями на классы и чем-то там еще
матлогика на всякие заковырки с мощностью множеств, наличие и перечислимость конкретных элементов в множествах