File:順序数(ε 0まで)