From 13d7b11c23f8862c9f214c46ee05fad314e9e698 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Mon, 16 Sep 2024 16:19:36 +0200
Subject: Finished proof of topological basis

---
 library/numbers.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'library/numbers.tex')

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
-- 
cgit v1.2.3

