User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-37993808-20191229181452/@comment-35470197-20191229233214

Have you read the description? The well-definedness heavily depends on axioms. If you work in MK or second order ZFC, it is well-defined. If you work in ZFC, then it is ill-defined.

It is better for you to study uncomputable googology before you conclude some statements about it as if they were obvious facts deduced from defintions. Since you have been poited out so many incorrect statements, isn't it reasonable for you to notice that you do not currently understand uncomputable googology?