Un conjunto es aritmético (o definible aritméticamente) si es definido por alguna fórmula en el lenguaje de aritmética de Peano.