User blog comment:LittlePeng9/Higher order set theory/@comment-5150073-20140926142538

Isn't it correct that Rayo_w(n) = Rayo_n(n)?