e/Robinson arithmetic

Information
has gloss	eng: In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in Robinson (1950). Q is essentially PA without the axiom schema of induction. Since Q is weaker than PA, it is obviously incomplete in the sense of Gödel, but the crucial point is that this weak finitely axiomatized theory is already incompletable and essentially undecidable as described below.
lexicalization	eng: Robinson Arithmetic
instance of	(noun) the branch of pure mathematics dealing with the theory of numerical calculations arithmetic

Meaning
Czech
has gloss	ces: Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Peanova aritmetika ale na rozdíl od ní je konečně axiomatizovaná. Pojmenována je po americkém matematikovi Raphaelu Mitchelovi Robinsonovi.
lexicalization	ces: Robinsonova aritmetika
French
lexicalization	fra: Arithmétique de Robinson
Italian
has gloss	ita: LAritmetica di Robinson, denotata solitamente con Q in logica matematica, è una teoria del primo ordine che ha come assiomi propri una versione ridotta degli Assiomi di Peano in cui è assente il principio di induzione e cè laggiunta di un assioma che afferma che ogni numero naturale diverso da zero è successore di qualche altro numero (cosa che nell Aritmetica di Peano è dimostrabile per induzione). Linteresse dellAritmetica di Robinson per la logica risiede nel fatto che è la teoria più debole in cui è possibile rappresentare tutte le funzioni ricorsive primitive e di conseguenza è anche la teoria più debole a cui sia applicabile il primo dei teoremi di incompletezza di Gödel.
lexicalization	ita: Aritmetica di Robinson