arithmetical set

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

Japanese Meaning

第一階ペアノ算術の公式を用いて定義できる自然数の集合

The arithmetical set of numbers defined by a first-order Peano arithmetic formula is not always decidable.

一階ペアノ算術の式で定義される自然数の集合は必ずしも決定可能とは限らない。

Sense（1）

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

arithmetical sets

（ plural ）