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