MDLUL/Gleichheitsaxiom