Un conjunto "X" es aritmético en un conjunto "Y", lo que se expresa como formula_54, si "X" es definible por alguna fórmula en el lenguaje de aritmética de Peano extendido por un predicado de pertenencia en "Y".