mengenlehre und logik ergänzungen