File:MathFoundations121 Axiomatics and the least upper bound property II