User blog comment:P進大好きbot/First Order Theory beyond Higher Order Set Theory/@comment-24061664-20200213132220/@comment-35470197-20200213143554

I have never translated the Japanese name. At least, the shorthand "巨大数庭園数" is perhaps "Large Number Garden Number", "Kyodaisuu Teiensuu", or something like that. (The latter name sounds like your username.) If we create an article, I think that we do not have to translate the long name because the titles on several large numbers are given by the names of the systems instead of the names of the numbers themselves. (If we translate the long name in English, I guess that it will not be the title of the article because it will be a little long.)