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

A short story written in the original source in Japanese explains why the name includes "巨大数屋敷 (Large Number Garden)" as a shorthand. Due to the explanation, I think "Garden Number" is too short.