MDLUL/Gleichheitsaxiome