Last Updated：2025/11/24
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Peano arithmetic
Edit Histories（0）
Source Word
Peano arithmetic
Noun
uncountable
Japanese Meaning
ペアノ算術：自然数の概念（0、後続者、加算、乗算の操作を含む）を定義し、帰納法の一階スキーマを採用した、一階論理に基づく公理系。
