Robinson arithmetic

不可算名詞

(mathematics) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.

日本語の意味

ロビンソン算術：有限個の公理で定義された第一階ペアノ算術の部分体系であり、数学的帰納法の公理スキーマを含まない数論の体系

セミナーで彼女は、数学的帰納法の公理スキーマを欠く、有限公理化された一階のペアノ算術の断片に関する最近の成果と、それが形式算術の限界を理解する上で果たす役割について発表した。

意味（1）

(mathematics) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.