最終更新日:2022/12/07
正解を見る
(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.
編集履歴(0)
元となった辞書の項目
Peano arithmetic
noun