Last Updated：2025/11/24

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

音声機能が動作しない場合はこちらをご確認ください

See correct answer

arithmetical set

Source Word

arithmetical set

Noun

(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 ）