ω1の定義って、
μα[ω<α&αは極限順序数]
だったけ?それとも、
μα[ω<α&|ω|<α]
だったっけ?