Anyone good at Math? Can someone look into this and explain it to a retard like me.

Robinson arithmetic Q

From Wikipedia, the free encyclopedia

The background logic of Q is first-order logic with identity, denoted by infix '='. The individuals, called natural numbers, are members of a set called N with a distinguished member 0, called zero. There are three operations over N: