User blog comment:P進大好きbot/Whether Rayo's number is well-defined or not/@comment-11227630-20181205112602

In your definition of Rayo's number, if occurences of "ZFC" are substituted into "KP" or "Peano arithmetic", will the resulting "Rayo's number" smaller? Or larger?