mengenlehre hinzugefuegt