Quadrat positiv (Anordnungsaxiome)

\begin{align*} \forall x(x \neq 0 \Rightarrow x^2 > 0) \end{align*}