Set theory
Heute wird daher eine axiomatische Mengenlehre benutzt, meist die Zermelo-Fraenkel-Mengenlehre, teilweise auch eine allgemeinere Klassenlogik.