>>407
ωって順序数じゃないの?