What do you mean?
What do you mean?
Any formula like that provides a set of brackets, "real" numbers with a finite number of digits (e.g. names) that we can say that the "phony" number is between. We can make the brackets finer and finer, but you can't pick out one in particular.
Thus 3, pi, pi/e + 6, sqrt(pi-e) are more "real" than the the continuum we imagine between them. Being able to name things, for instance, makes it possible to talk about them.
Similarly, the axiom of choice allows for the existence of nondefinable choice functions [5] in certain cases, so is rejected.
Regarding the part about analysis, the field of computable analysis [6] exists to establish analysis on constructivist footing.
[1] https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...
[2] https://en.wikipedia.org/wiki/Definable_real_number
[3] https://en.wikipedia.org/wiki/Computable_number
[4] https://en.wikipedia.org/wiki/Constructible_number