Fuente TeX:

\mathsf{ZF} + \mathsf{DC} + \lambda(\mathcal{P}(\mathbb{R}))