User blog comment:Googology Noob/Ordinal FGH, with an actual definition!/@comment-26428969-20151228152713/@comment-27173506-20151231152006

@LittlePeng9 I'd love to see them too. It is hard to formalize, and I definitely don't have proof. What I show here is (basically) what I have. That's all I can do with my level of understanding and skills. It may not be formal, but that's what it is.