MDLUL/K-Axiom