Last Updated：2025/12/06

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

音声機能が動作しない場合はこちらをご確認ください

See correct answer

Robinson arithmetic

Source Word

Robinson arithmetic

uncountable

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

Japanese Meaning

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

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

Sense（1）

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