最終更新日：2025/11/24

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

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

正解を見る

arithmetical set

元となった辞書の項目

arithmetical set

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

日本語の意味

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

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

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

意味（1）

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

arithmetical sets

（ plural ）