Robinson arithmetic

Summary

Robinson arithmetic is an axiomatic system^[1]. It draws 95 Wikipedia views per month (axiomatic_system category, ranking #4 of 12).^[2]

Key Facts

• Robinson arithmetic's instance of is recorded as axiomatic system^[3].
• Raphael M. Robinson is named after Robinson arithmetic^[4].
• Robinson arithmetic's Freebase ID is recorded as /m/07m3f2^[5].
• Robinson arithmetic's defining formula is recorded as \begin{align}&Sx\ne0\&Sx=Sy\implies x=y\&y=0\lor \exists x.(Sx=y)\&x+0=x\&x+Sy=S(x+y)\&x\cdot0=0\&x\cdot Sy=(x\cdot y)+x\end{align}^[6].
• Robinson arithmetic's nLab ID is recorded as Robinson arithmetic^[7].
• Robinson arithmetic's Microsoft Academic ID is recorded as 4962995^[8].
• Robinson arithmetic's does not have characteristic is recorded as decidability^[9].
• Robinson arithmetic's in defining formula is recorded as S^[10].
• Robinson arithmetic's in defining formula is recorded as 0^[11].
• Robinson arithmetic's in defining formula is recorded as +^[12].
• Robinson arithmetic's in defining formula is recorded as \cdot^[13].
• Robinson arithmetic's in defining formula is recorded as \lor^[14].
• Robinson arithmetic's in defining formula is recorded as \implies^[15].
• Robinson arithmetic's in defining formula is recorded as \exists^[16].

Why It Matters

Robinson arithmetic draws 95 Wikipedia views per month (axiomatic_system category, ranking #4 of 12).^[2] It has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.^[17]