User blog comment:Vel!/FGH Gripe/@comment-2033667-20150326191109/@comment-5529393-20150327231115

I don't see any need to dispose of FGH and replace it with Hyp Cos's R function, for example. Yes, you need fundamental sequences, but they're easy enough to define. We could, say, take Rathjen's ordinal notation using a weakly compact ordinal, and use a norm-based definition of fundamental sequences. So yes, we have to give some details, just like we need to give some details if we were to have the R function as the "measuring stick". If we needed FGH to go further, we could replace the weakly compact notation with Taranovsky's notation, say.

The problem is there doesn't seem to be anywhere on the wiki where we put "standards" for the wiki, where we could put a short little blurb saying what fundamental sequences we are using. But that seems like a simple enough problem to fix.