On Friday, February 28, 2014 4:15:18 PM UTC+2, Martin Shobe wrote: > On 2/28/2014 4:07 AM, John Gabriel wrote:
> But you didn't say that. You said that I could use either number as the > subtrahend and have the difference be either number. For the 2 + 3 = 6 > case, 6 - 3 = 3 fits that. If that isn't what you mean, you should > reword your axioms so that it does say what you mean.
The axiom is clear. That you misinterpret it, is a deficiency on your part.
The sum (or addition) of two numbers (2 and 3) is that number (X) whose difference with either of the two numbers (2 or 3) is either of the two numbers (2 or 3).
X cannot be 6 because 6 is the sum of the two numbers. Now tell me dimwit, how do you get 2 + 3 = 6 ?? X is the sum, therefore, it CANNOT be 6! Do you get it now?!! Tsk, tsk.
You know, it would really help you to think about what you read and the crap that you write here.
> Yes, Peano's axioms don't have this flaw. But what makes me think I can > do it in yours, is that your axioms say I can.
My axioms don't say you can. Your dysfunctional brain tells you that. :-)
> It's a rather trivial derivation from what you said to 0 - 3 = 3. If you didn't mean what you said, you should change it to say what you mean.
My axioms are clear. Not to be compared with Peano's crap. :-)