MDLUL/Extensionalitätsprinzip

Start=Extensionalitätsprinzip

MDLUL/Extensionalitätsprinzip

Ziel=Mengen/Einführung/Textabschnitt