donde formula_35 es una fórmula del lenguaje de la teoría de conjuntos es un axioma de ZF.