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 $latex \mathbb{R}$. 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 $latex \mathbb{R}$, *a* = *a*.

Axiom E2: Symmetry for Equality

For any a and b in $latex \mathbb{R}$, if *a* = *b*, then *b* = *a*.

Axiom E3: Transitivity of Equality

For any a, b, and c in $latex \mathbb{R}$, if *a* = *b* and *b* = c, then *a* = *c*.

Axiom E4: Addition Property of Equality

For any a, b, and c in $latex \mathbb{R}$, if *a* = *b*, then *a* + *c* = *b* + *c*.

Axiom E5: Multiplication Property of Equality

For any a, b, and c in $latex \mathbb{R}$, if *a* = *b*, then *ac* = *bc*.

Pingback: The Proof of the Cancellation Law of Addition

Pingback: Proving the Perpendicular Bisector Using SAS Congruence

Pingback: The Closure Property of Positive Real Numbers Under Addition