Верещагин, Шень. Начала теории множеств. Задача 36, 37, 38, 39
Эквивалентность определений конечного множества классического (по Тарскому) и по Дедекинду, а также ряд равномощностей подмножеств континуума.
Эквивалентность определений конечного множества классического (по Тарскому) и по Дедекинду, а также ряд равномощностей подмножеств континуума.