Redirecting to Church–Kleene ordinal