Степень ординалов - два подхода

Теоретико-множественное определение степени ординалов и доказательство эквивалентности рекурсивному определению