Zermelo–Fraenkel set theory
The system, which has come to be known as Intuitionistic Zermelo–Fraenkel set theory (formula_23), is a strong set theory without formula_3. It is similar to formula_13, but less conservative or predicative.