На самом деле, какие правила объявят в этой системе, такие и будут. В С++, например, оператор сложения можно переопределять, в математике тоже. В компьютерах, например, может быть так, что 255+1=0, или, например, 127+1=-128. Или, 1/2+1/2 не равны 1