Question about addition axiom

I have a question about expression of this field axiom. Normally
given as:

Ax Ay Ez x + y = z

Is it tacitly assumed that z is unique, or do we need to append this:

Ap (x + y = p) ----> (p = z) ?

Thanks.

.

Quantcast