MDLUL/Archimedesaxioms (R)