User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-30279966-20200118174447/@comment-35470197-20200119093956

If you are talking about LittlePeng's N, then it is given by a constant term symbol instead of a defining formula. Therefore it is a term.