MDLUL/Axiom (K)