Hello people of MHF. Apostol states as the 4th field axiom (of real numbers): "Given any two real numbers x and y there exists z such that x+z = y. z is denoted y-x. The number x-x will be designated by 0". How do I prove 0 doesn't depend on x? Any help is appreciated.