In The Continuum, Hermann Weyl writes the following (page 95 in the English translation):
The system which, for the moment, we shall call "hyperanalysis" arises if, starting from the level attained in §3 of this chapter, we lay a new foundation for pure number theory, a foundation in which we admit the real numbers as a new basic category alongside the naturals. ... This new system certainly does not coincide with our version of analysis. On the contrary, in hyperanalysis there are, e.g., more sets of real numbers than in analysis. For hyperanalysis admits sets in whose definition "there is" appears in connections with "a real number". Thus, hyperanalysis contains neither Cauchy's convergence principle nor, in general, our theorems about continuous functions.
My question is: What does he mean?
The following should help to clarify why I am confused: What does he refer to by "the real numbers" in the first sentence? Only the "level 1" real numbers that can be defined by arithmetical comprehension? Or all possible real numbers? In the first case, "hyperanalysis" would seem to mean analysis with level 2 real numbers, which I suppose would behave as nicely as his default kind of analysis with only level 1 real numbers, so that the italized sentence is false. In the latter case, there would be circularity in hyperanalysis, and then it is odd that Weyl does not point that out but only makes the weaker point about Cauchy's convergence principle and theorems about continuous functions.