worldly cardinal

large cardinal number 𝜅 such that the sets of rank <𝜅 is a model of Zermelo–Fraenkel set theory