But why would I want to define A as A + 1?

I might define A = B + 1, B = C - 2, C = A + 1.

Now I have a self consistent set of definitions and no infinite recurrsion.

Anyway, this has no bearing on reality. I am trying to establish if it is possible to verify any particular statement of reality beyond all doubt.