In the previous post, we have discussed about the axioms of real numbers. In this post, we learn about five more axioms, the axioms of equality in real numbers . Again, most of you are already familiar with these axioms since they are quite intuitive. We will emphasize these axioms because we are going to use them in proving theorems later.
Axiom E1: Relfexivity of Equality
For any a in , a = a.
Axiom E2: Symmetry for Equality
For any a and b in , if a = b, then b = a.
Axiom E3: Transitivity of Equality
For any a, b, and c in , if a = b and b = c, then a = c.
Axiom E4: Addition Property of Equality
For any a, b, and c in , if a = b, then a + c = b + c.
Axiom E5: Multiplication Property of Equality
For any a, b, and c in , if a = b, then ac = bc.