К какому классу принадлежит
? Оно не может содержать себя как свой элемент, т.к. тогда входило бы в
. Но в таком случае оно содержится в
.
Извините, но мне кажется, здесь неточно : логический функтор "но в таком случае ..." может иметь и другие исходы. В данном рассуждении множество
, "не содержащееся в себе самом" по условию, содержится в
, и этого достаточно. Поэтому, очевидно, вывод "оно содержится в
" из данного рассуждения не следует.
Скорее всего, это, наверно, ошибка.
Добавлено спустя 14 минут 44 секунды:Да
Может быть, Вы не поняли : само по себе соотношение
справедливо, конечно, для любого
как числа. Но мощность множества - не обязательно (вычислимое) число. Интерес в вопросе о существовании МВМ представляет как раз случай, когда эти мощности - кардинальные "числа". Поэтому вопрос, если его уточнить, такой : применимо ли это неравенство к сравнению мощностей МВМ и множества всех его подмножеств?