http://glossar.hs-augsburg.de/Typentheorie http://glossar.hs-augsburg.de/Geordnetes_Paar http://glossar.hs-augsburg.de/Russellsche_Antinomie - auf cyclische Mengen (mit Antifundierungsaxiomen) und Ackermann-Mengentheorie (mit echten Klassen, d. h. Unmengen, die in anderen Klassen enthalten sind wird nicht eingegangen. Vielen Dank im voraus! [ Ernsts 22:52, 30. Sep. 2013 (CEST)