English Dictionary

Peano arithmetic

名詞

不可算名詞

(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 provides a rigorous foundation for reasoning about natural numbers through axioms that define zero, the successor function, addition, multiplication, and a first-order schema of induction.

自然数の公理的な一階理論は、零、後続関数、加法、乗法を定め、帰納法のスキーマを含む公理によって自然数に関する厳密な推論の基礎を提供する。

意味（1）

(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.