User blog comment:MachineGunSuper/A world without the infinite/@comment-36957202-20181208204238

I think rayos function is actually effected because set theory has has infinte ordinals so you would need to redefine it