User blog comment:LittlePeng9/First order oodle theory - clarification/@comment-172.56.15.104-20161020231854

LittlePeng9 what is the difference between the Rayo's function and the Busy Beaver function? What does First order set theory have to do with the Rayo's function?