User blog comment:Jamazzzzzzzz/Names for higher order rayo's Numbers/@comment-35470197-20190513054236

Your numbers are ill-defined, because you have no explicit choice of the axiom of k-th order set thoery. By the same reason, BIG FOOT is ill-defined. Its definition contradicts the usual set theory unlike Rayo's number defined in second order set theory.

Do you understand truth predicate? I recommend you not to use stuffs which you do not understand. If you used such, then you could never understand what problems are.