Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real numbers/Ordering axioms/Archimedean/Implications/Fact/Proof/Exercise/Exercisereferencenumber