User blog comment:Syst3ms/YAUD/@comment-30754445-20180810132619/@comment-30754445-20180812175853

I don't follow you.

In the usual way to do things, ψM is a function. You can have ψM(x) where x can be any ordinal. The value of ψM(x) would another ordinal, which depends on x.

And you most certainly can, as a next step, collapse that ordinal into a countable ordinal by doing ψ(ψM(x)).

Am I making sense to you? Or did I completely misunderstand what you meant?