Last Updated：2025/11/24
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Presburger arithmetic
Edit Histories（0）
Source Word
Presburger arithmetic
Noun
uncountable
Japanese Meaning
プレスバーガ算術：自然数上の基本公理系であり、零、後者（次の数）、加算の操作を定め、帰納法の第一階のスキーマを含むが乗算を含まない論理体系。
