MDLUL/Archimedes Axioms