ZF (Zermelo–Fraenkel set theory without Choice)

GPTKB entity