diff options
Diffstat (limited to 'library/numbers.tex')
| -rw-r--r-- | library/numbers.tex | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/library/numbers.tex b/library/numbers.tex index 73eefc8..98339ad 100644 --- a/library/numbers.tex +++ b/library/numbers.tex @@ -386,7 +386,9 @@ Commutivatiy of the standart operations For all $x,y \in \reals$ $x + y = y + x$ and $x \rmul y = y \rmul x$. \end{axiom} - +\begin{axiom}\label{reals_axiom_assoc} + For all $x,y,z \in \reals$ we have $(x + y) + z = x + (y + z)$. +\end{axiom} Existence of one and Zero |