Zermelo–Fraenkel axiomatization