User blog comment:P進大好きbot/A larger orderinal does not necessarily correspond to a greater function through FGH/@comment-36957202-20190324131320/@comment-36957202-20190324141037

I think the FGH is really interesting.But i don't like that because otherwise i think that i cuold define a function that extends it beyond \(\omega_1^{\text{CK}}