User blog comment:Forthright/MORE videos you MUST watch as a googolist/@comment-35470197-20191022011748/@comment-35470197-20191025150811

@Ytosk

> yes, maybe they are ill-defined, but at least Oblivion is easy to understand, and if i had enough time, i could easily formalize it.

If it were so easy to formalise, then somebody would have formalised it. I guess that you do not understand the issues, because it is really hard to formalise ill-defined uncoumputable large numbers so that they will be actually significantly larger than Rayo's number. At least, it is good to know that even LittlePeng and Emlightened, who are great experts in googology, failed to formalise uncomputable large numbers beyond Rayo's number.