MDLUL/Axiomenschema K