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

So the title may be "Large Number Garden Number" or the name of the system "Large Number Garden" or something like that.