Es gibt mehrere Möglichkeiten, die Anordnungsaxiome der reellen Zahlen zu formulieren. Ein Beweis der Aussage
\(\forall s,t,x,y\in \mathbb{R}:\ 0 < s < x \wedge 0 < t \leq y \implies s\cdot t < x \cdot y\)
begründet diese Aussage anhand der dir vorliegenden Formulierung der Anordnungsaxiome.