FOM: equations involving subtraction

John Baldwin jbaldwin at
Tue Feb 27 11:29:16 EST 2001

Does anyone know of work on axiomatizing the equations true
in the natural numbers with addition and (partial) subtraction?

This arises from the remark made to me by Li Ping Ma that Chinese
teachers teach the rule
a-b -c = a- (b+c).

(There is hidden convention that we associate to the left in the
expession on the left side of the equation.)

More information about the FOM mailing list