Да, он подразумевался : после построения множества алеф нуль "строится" множество всех его подмножеств, которое уже алеф. Но на этом трансфинитная процедура "саморазмножения" не заканчивается, становится "ультраконтинуальной", характеризуемой ультракардиналом.
Я так и не понял, что Вы называете "ультракардиналом"
Я понимаю, что после

процедура не заканчивается, но для перехода от конечных множеств к

требуется нечто принципиально отличное от того, что было раньше. Потом такие же шаги потребуются для перехода от последовательности

,

,

... к следующей ступени,

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

,

,...

,

,...

,

,...(бесконечная последовательность трансфинитных переходов)

, трансфинитный переход нового типа
Добавлено спустя 5 минут 3 секунды:Раз Вы говорите, что это не запрещено, то вопрос состоит в том, почему теорема Кантора о множестве всех подмножеств ограничивается лишь первой итерацией.
Нет. Практически в любом учебнике следствием теоремы Кантора указывается то, что не существует максимального кардинала, так как для каждого кардинала существует больший его. Для каждого кардинала существует бесконечная(счетная) последовательность кардиналов над ним:

и даже бесконечная трансфинитная последовательность, строящаяся так, как указано выше.
Добавлено спустя 50 секунд:Ссылка на МВП(МВП ... (МВП) ...), наверно, не аргумент, т.к. это тоже МВП.
Это МВП другого множества.