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

What is the name of the large number in English? We especially need short version, I think.