>順序数とき→ F[λ_ω](α_ω) = F[λ_x](α_ω)

順序数から順序数への関数の筈なのに、
なぜ唐突に自然数xが表れるのかな?