Zermelo–Fraenkel set theory
The gimel hypothesis states that formula_8. In essence, this means that formula_7 for singular formula_4 is the smallest value allowed by the axioms of Zermelo–Fraenkel set theory (assuming consistency).