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

Is n, the standard natural number in your blog post, supposed to be represented as a formula too? If N is a formula and n is a value, does really N+n make sense? I think that N is still a value of formula.