MDLUL/Archimedesaxioms