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

There are enough much "official, formal and traditional things" in the real life, so it's better to turn googology just into the game.