最終更新日：2024/08/07

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

正解を見る

Robinson arithmetic

問題を編集する

元となった辞書の項目

Robinson arithmetic

noun

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

Robinson arithmetic is a mathematical system developed by Julia Robinson.

意味（1）

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