Pero no es el caso con los ordinales infinitos: Por ejemplo, formula_12 y formula_13 están en biyección por la función: