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