arithmetical set

Noun

 * 1)  A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.