Definition, synonyms and related words
A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.