German Sortenlogik Cited by user StefanMeister on 17 Apr 2016 Sortenlogik entspringt der Intention, das (mengentheoretische) Universum (Grundmenge, Allklasse, bis hin zu einem Grothendieck-Universum) nicht als eine homogene…