Noun
arithmetical set (plural arithmetical sets) (logic) A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.