Así formula_30 es isomorfo al conjunto ordenado {β: β < ω}.