Agree. It's difficult to guess the definition of "exist" while reading it. The phrase > ...accepting the existence of the reals means that there are numbers th

Agree. It's difficult to guess the definition of "exist" while reading it. The phrase > ...accepting the existence of the reals means that there are numbers that exist but can never be described ...we can never interact with these numbers even conceptually is also full of vagueness: what is "be described"/"interact"?