2. Field Axioms

2.3. Axioms of addition

These axioms define the structure of addition in the real numbers:

  1. Associativity of Addition:

    a+(b+c)=(a+b)+ca + (b + c) = (a + b) + c

  2. Commutativity of Addition:

    a+b=b+aa + b = b + a

  3. Additive Identity:
    There exists a

    0R0 \in ℝ

    such that

    a+0=aa + 0 = a

  4. Additive Inverses:
    For each

    aRa \in ℝ

    , there exists

    aR-a \in ℝ

    such that

    a+(a)=0a + (-a) = 0

These form the abelian group structure of

(R,+)(ℝ, +)

(R,+).