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

Nice,i only have 2 questions: 1.is there any particular reason for \(n\uparrow^{n} n\) is the definition of \(\textrm{CoRayo}\)? and 2.What is the cumulative hierarchy?