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