User:Abcxyz/Sandbox/Real Numbers/Real Multiplication is Associative

Theorem
Let $\R$ denote the set of real numbers.

Let $\times$ denote multiplication on $\R$.

Then $\times$ is associative on $\R$.

Proof 1
Let $\left({\R, +, \times, \le}\right)$ denote the real numbers, as axiomatically defined as a Dedekind complete totally ordered field.

By the field axioms, $\times$ is associative on $\R$.

Proof 2
Let $\R$ denote the set of real numbers, as constructed from Cauchy sequences.

Let $\times$ denote multiplication on $\R$.

From Rational Multiplication is Associative, it directly follows that $\times$ is associative on $\R$.

Proof 3
Let $\R$ denote the set of real numbers, as constructed from Dedekind cuts.