User blog comment:Wythagoras/All my stuff/@comment-10429372-20130715145943/@comment-25418284-20130716161835

But in the case of Rayo's function, the definition is picked so that paradoxes and infinities are weeded out. It's like how we ignore self-contradictory SKIW statements in the xi function.