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.
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?
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at