Assume x is greater than y by z and y is greater than x by z (seems impossible, and it might very well be, but read on)
x> or equal to y
y> or equal to x
I think what I just said is that if x is greater than y and y is greater than x, they must be greater than eachother by zero, thus proving they are equal. It also works if x is greater than y by z and y is greater than x by say q (though in the end both q and z are zero).
Does this make any sense?
The fact that x = y + z for z ≥ 0 is equivalent to x ≥ y, not x > y. You proved correctly that if x ≥ y and y ≥ x, then x = y. This fact is expressed by saying that ≥ is antisymmetric. In contrast, x > y and y > x is impossible. This means that > is asymmetric.