Thm 140: If $\xi > \eta$, then $\eta + \nu = \xi$ has exactly one solution $\nu$. (All lowercase Greek letters represent Dedekind cuts.)
Summary of proof and the alleged error:
Consider the set of all rational numbers of the form $X - Y$ (with $X > Y$) where $X$ is a lower number for $\xi$ and $Y$ is a lower number for $\eta$.
Landau then proves that this set defines a cut and claims that it is the solution $\nu$ to the equation in the statement of the theorem. (He has also already shown that this solution is unique.)
To prove this, he must show that $\eta + \nu$ and $\xi$ are equal, which simply consists of showing that every lower number of the former is a lower number of the latter and vice versa.
Now here is where I believe he makes an error: he writes:
"Every lower number for $\nu + \eta$ is of the form $$(X - Y) + Y_1$$ where X is a lower number for $\xi$, ** $Y$ is an upper number for $\eta$ **, $Y_1$ a lower number for $\eta$, and $X > Y$.
Now we have ** $Y > Y_1$ **, [so] $$((X - Y) + Y_1) + (Y - Y_1) = \cdots$$
The issue here is that he originally says that $Y$ is a lower number of $\eta$, but then makes it an upper number so that he can subtract $Y_1$ from $Y$ (he doesn't define negative numbers until the section on real numbers, so only subtraction that yields a positive number is 'legal' at this point).
Am I right? If so, how would you repair this proof?
If I'm wrong, what am I missing here?
Thanks in advance.
