User blog comment:Vel!/Googology and well-defined-ness/@comment-5150073-20141007072250/@comment-1605058-20141008101627

If googology were built upon grade B or lower, then it would be like a game in which the rules aren't specified, and when you follow you assume should be there then the author gets pissed off because you didn't follow the rules which they didn't specify.

We need some formality, otherwise googology will end like all such games like ones mentioned.

After all, although not a professional one, it's still a field of mathematics.