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