Из предложенных вариантов неверным является утверждение:
Всякое бесконечное множество не имеет счетных подмножеств.
Пояснение:
Счетное множество является подмножеством любого бесконечного множества. Например, множество натуральных чисел является счетным и является подмножеством множества действительных чисел, которое является бесконечным и несчетным.
Остальные утверждения верны: