Zermelo–Fraenkel set theory (Q191849)
variant of ZFC, the standard axiomatic set theory
Language: