MDLD/Archimedean axiom