>>33
ゴメン、検索したら答えがみつかっちゃった・・・

最小の非可算順序数
https://ja.wikipedia.org/wiki/%E6%9C%80%E5%B0%8F%E3%81%AE%E9%9D%9E%E5%8F%AF%E7%AE%97%E9%A0%86%E5%BA%8F%E6%95%B0

ω1 から実数 R への任意の連続関数 f は、ある順序数から先が定数関数になる。
即ち、あるβ∈ω1と実数c∈Rが存在して、β<α ならば f(α)=cとなる。

chrome-extension://efaidnbmnnnibpcajpcglclefindmkaj/viewer.html?pdfurl=https%3A%2F%2Fwww.math.fsu.edu%2F~bellenot%2Fclass%2Fsu08%2Ffound%2Fother%2Fomega-one.pdf&clen=95368&chunk=true