Robinson arithmetic

名词 n.

英文释义

名词 n.
  1. A finitely axiomatized fragment of first-order Peano arithmetic, lacking the axiom schema of mathematical induction. uncountable

词源

First set out by R. M. Robinson in 1950.
0 次浏览 数据来源: Wiktionary