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

Maybe just "Garden Number"?