Stated properties of the order, Dedekind completeness, and fixed the Archimedean axiom.

You now have a lot of small admits to work on. Good luck!