
Definition of Arithmetical set
1. Noun. (logic) A set of natural numbers that can be defined by a formula of firstorder Peano arithmetic. ¹
¹ Source: wiktionary.com

1. Noun. (logic) A set of natural numbers that can be defined by a formula of firstorder Peano arithmetic. ¹
¹ Source: wiktionary.com