User blog comment:Ubersketch/A proposal for a standard/@comment-35470197-20190811012241/@comment-39541634-20190813021419

I still don't understand the problem.

If there's a simple criterion like the one I've just mentioned, we can list it along with the fundamental sequences.

And yes, I agree that many people here would have trouble applying these rules. But the only reason for that is that they haven't yet developed the mathematical maturity needed to deal with these kinds of concepts.

I mean, if a person does not understand why:

ψ_0(ψ_1(ψ_2(ψ_3(0)))) < ψ_0(Ω_3)

explicitly and immediately follows from the rule I've just stated, then they are simply not ready to tackle these topics.

The same is true for people who think an OCF without a proper definition (like UNOCF) is somehow workable, or that you can create powerful OCFs without understanding even the basics of set theory... Or people who write things like:

"I have no idea how to define things properly but..." and then proceed to write pages upon pages of mathematical symbols.

A person who doesn't realize why any of the above is completely rediculous, is not ready to deal with the more advanced topics of googology.

And when it comes to such people, we should not give them crutches that perpetuate their current situation. We should tell them straight out: "You're not yet ready for this stuff. You still need to learn. Not specific bits of knowledge, but the general skill of thinking mathematically. Continue to practice. Ask questions. Learn from your mistakes... And if you preserve and put in the effort, one day you will be ready for it. But not today".