A matematika axiómatikus felépítése és a matematika fejődésében jelentős állomás volt a halmazelméleti axiómarendszer megfogalmazása. Ez először 1908-ra alakult ki Ernst Friedrich Ferdinand Zermelo (1871-1953) német és Adolf Abraham Fraenkel (1891-1965) izraeli matematikusok munkássága nyomán. Ebben a rendszerben halmazok elemeiként is csak halmazok jöhetnek számításba. Zermelo-Fraenkel féle axiómarendszer. Alapfogalmak: 1.Tovább