Trichotomie (Axiom)

Für alle \(x\) gilt genau eine der folgenden Aussagen:

\begin{align*} \forall x : x > 0 \dot\lor x = 0 \dot\lor x < 0 \end{align*}