MDLUL/Archimedesaxiom (R)