Какое конечное множество имет кардинал?

Answer 1

Как известно, для каждого кардинала существуют две очевидные операции: взятие последующего кардинала и взятие кардинала булеана. Обозначим их сответственно + и pow.
Если a и b кардиналы такие, что b = a+ или b = apow, то b называется последующим для кардинала a.
Предельным кардиналом называется кардинал, который не является последующим ни для какого кардинала.