User blog comment:Vel!/Googology and well-defined-ness/@comment-83.237.170.16-20141017233503/@comment-81.17.155.218-20141018191347

My mention of Conway was implying that he did make grade A definitions, but no one else I can think of did (at least above Graham's number).

I wasn't aware (or didn't remember) that the proof I mentioned was yours. If so, I applaud you. I was only trying to give an example of just how long and complicated a truly mathematically rigorous definition would be in reality.

And essentially, I was only saying that there's really no point to doing it rigorously as long as your readers can figure out what's going on anyway. In other words, unless you're specifically shooting for rigor (and I admit there could be legitimate reasons why you would do that), you might as well stay within grade B either way. (Though, depending on where you think the boundary is, it might not be too hard to get to A accidentally.)