by Nahuda » Wed May 15, 2013 5:43 am
Let's say 1 is in N.
If x is in N, then its "successor" x' is in N.
There is no x such that x' = 1.
If x isn't 1, then there is a y in N such that y' = x.
If S is a subset of N, 1 is in S, and the implication (x in S => x' in S) holds, then S = N.
Let a and b be in N.
If b = 1, then define a + b = a'
If b isn't 1, then let c' = b, with c in N and define a + b = (a + c)'.
Using this definition, we can determine that 1 + 1 does in fact equal 2.
Green is the prime color of the world, and that from which its loveliness arises.
My favorite color is green. :3