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

The standard natural number n is supposed to be given as an expression 0+1+…+1, which is a term but not is a formula. Of course, it can be presented by a formula.

The defining formula itself is not a value. When I wrote N, then I meant the value characterised by its defining formula. Therefore N+n makes sense.

Since the terminology of "standard" and "meta" is a little ambiguous in my blog post, it might be better for me to use a clearer terminology. I will try it.