axiom of Zermelo–Fraenkel set theory

GPTKB entity