intuitionistic Zermelo–Fraenkel set theory

GPTKB entity