File:MathFoundations120 Axiomatics and the least upper bound property I