Worldly cardinal (source code)

= Worldly cardinal
{wiki}

A cardinal $\kappa$ is worldly when $V_\kappa\models\mathrm{ZFC}$. Every <strongly inaccessible cardinal> is worldly, but worldly cardinals can be singular.