Robinson arithmetic

English

First set out by R. M. Robinson in 1950.

Robinson arithmetic (uncountable)

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

单词	Robinson arithmetic
释义	Robinson arithmetic English Etymology First set out by R. M. Robinson in 1950. Noun Robinson arithmetic (uncountable) (mathematics) A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction.
随便看	mīlētiem mīlēto mīlētos mīlēts mīlētu mīlētus mīlētā mīlētāja mīlētājai mīlētājam mīlētājas mīlētāji mīlētājiem mīlētājos mīlētājs mīlētāju mīlētājus mīlētājā mīlētājām mīlētājās mīlētām mīlētās mīlēšana mīlēšanas mīlēšanā