MDLUL/Archimedes-Axioms