Sea un conjunto "X" definido por la fórmula φ(n) en el lenguaje de aritmética de Peano si formula_17.