MDLUL/Löb-Axioms