User blog comment:P進大好きbot/ZFC-variant of Rayo's number/@comment-37485018-20190816235322/@comment-37485018-20190905212734

Also, what is \((V_\alpha,n)\models f\) (if it is any different from \(V_\alpha\models f\))?