On 10/30/2012 12:38 PM, Bruno Marchal wrote:
We need only to agree on the axioms:

x + 0 = x
x + s(y) = s(x + y)

 x *0 = 0
 x*s(y) = x*y + x

together with some axioms on equality.
Dear Bruno,

How do you explain the communicability of the meaning of these axioms? You have written words like "sharable". Is that the explanation? How does it work?

--
Onward!

Stephen

--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to