Zermelo–Fraenkel set theory is intended to formalize a sing… Twetch · July 26, 2020 Zermelo–Fraenkel set theory is intended to formalize a single primitive notion, that of a hereditary well-founded set, so that all entities in the universe of discourse are such sets.