Fuente TeX:

\mathsf{ZF} + \mathsf{DC} + \exists\kappa\text{ inaccesible}