I just started working my way trough "Mathematical Analysis", $2^{nd}$ Edition by Apostol. I am reading every detail very carefully to try to get a rigorous understanding. The $4^{th}$ axiom in that book (one of the field axioms states):
- Given any 2 real numbers $x$ and $y$, there exists a real number $z$ such that $x + z = y$. This $z$ is denoted by $y - x$; the number $x - x$ is denoted by $0$. (It can be proved that $0$ is independent of $x$.) We write $-x$ for $0 - x$ and call $-x$ the negative of $x$.
My question: Is $y-x$ already assumed to be $y+(-x)$, or should I take $y-x$ as just a whole symbol for now, only representing the number $z$? This is a little confusing because we have only assumed the existence of the addition and multiplication operator. (Please try to refrain from using too much set notation in the answers, as I'm not familiar with much of it.)
I think if I can interpret $y-x$ as $y + (-x)$, (I think?) we can prove that the negative of $x$ is one possible number which you could add to $x$ in order to get $0$:
By axiom 4, there is always a $z$ such that
$x + z = y$
That $z$ is denoted as $y + (-x)$
Let $y = 0$
$z = 0 - x$
$z = -x$
It is not already assumed that $$y - x = y + (-x)$$ because it does not need to be assumed -- it can be proven from the other axioms.
How you interpret it is up to you. You are correct that it is just a "whole symbol" for now representing the number $z$ which we assume to exist. It can also interpreted as a definition for the subtraction operator: Implicitly the author is saying "We define the operator $-$ which when applied to $y$ and $x$ gives us $y-x$, a real number such that $x + (y-x)=y$"
So yes, it is in fact a definition for $-$, and it is also just a symbol. $+$ is just a symbol, $\times$ is just a symbol, and $-$ is also just a symbol.
The temptation to assume automatically that $y-x=y+(-x)$ comes from already being familiar with the real numbers, but it is conceivable that there might be other systems of numbers, and other ways of interpreting $+$ and $\times$, such that this system satisfies all of the axioms which were given, but such that $y-x\neq y+(-x)$. It turns out to be impossible because $y-x=y+(-x)$ is a logical consequence of the other axioms, but it is at least conceivable.
A proof that $y-x=y+(-x)$ would be as follows: By definition, we have that $$ x + (y-x) = y$$ for any $x$ and $y$. From the commutative property, we have that $$ (y-x) + x = y $$ Add $(-x)$ to each side to get $$ ((y-x) + x) + (-x) = y + (-x)$$ Use associativity to give us $$ (y-x) + (x + (-x)) = y + (-x)$$ $(-x)$ is the same thing as $(0-x)$, and $x + (0-x)=0$ by definition, so $$ (y - x) + 0 = y + (-x) $$ Presumably one of the axioms defined $0$ by the property that $a+0=a$ for all $a$, and so $$ y - x = y + (-x) $$ Which is what we wanted to prove.
There is now nothing wrong with interpreting $y-x$ to mean $y+(-x)$ since we have proven that it is in fact true. The book was just warning you that you shouldn't assume so a priori just because of the symbols which we happened to use and because of their familiar interpretation in the real numbers. We could have picked some other symbol to use in place of $-$ in $y-x$, and a completely different symbol for $-$ in $-x$.
The author also did not have to assume the axiom that for any $x$ and $y$, there is a number $z$ such that $x+z=y$. It is enough to assume that for any $x$, there is a number $-x$ such that $x+(-x)=0$. One can then prove that for any $x$ and $y$, there is a $z$ such that $x+z=y$ by letting $z=y+(-x)$ and showing that this $z$ has the desired property.
edit: To address some of your other questions:
Your proof is fine for showing that $-x$ is a number that can be added to $x$ to give $0$. You don't even need that $y-x=y+(-x)$, because $0-x=-x$ was the definition of $-x$, so you don't need to prove that $0-x=-x$. You can simply say that by assumption, there is a number $0-x$ such that $$x + (0-x)=0$$ and by definition, $(0-x)=-x$, and so $$ x + (-x) = 0 $$
This is better than trying to reason so from assuming $y-x=y+(-x)$, since my proof at least uses the fact that $x+(-x)=0$ to prove that $y-x=y+(-x)$, and so you'd run the risk of having a circular argument.
To address the question about the uniqueness of $z$, suppose that there are two numbers $z_1$ and $z_2$ such that both $$ x + z_1 = y $$ and $$ x + z_2 = y $$
Then $$ x + z_1 = z + z_2 $$ and so commutativity gives us $$ z_1 + x = z_2 + x $$ Adding $(-x)$ to each side, we get $$ (z_1 + x) + (-x) = (z_2 + x) + (-x) $$ By associativity, we find $$ z_1 + (x+(-x)) = z_2 + (x+(-x)) $$ and so $$ z_1 + 0 = z_2 + 0 $$ and hence $$ z_1 = z_2 $$
Thus any two candidates for the number $z$ must in fact be equal, and so $z$ is unique.