最終更新日:2024/07/31
(logic) A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.
正解を見る
arithmetical set
編集履歴(0)
(logic) A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.
arithmetical set