Abgeschlossenheit gegenüber Addition von positiven Zahlen (Anordnungsxiom)
1.
Axiom
\begin{align*} x > 0 \land y > 0 \Rightarrow x + y > 0 \end{align*}
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:26