MDLUL/Gleichheitsaxiomen