Zermelo–Fraenkel axioms

GPTKB entity