ああ、次の順序数を見つけた