2x5(1+2)+5
Just woke up.. On ipod..
Nahuda Wrote: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.
morpher26 Wrote:5
Users browsing this forum: Bing [Bot], Google [Bot] and 1 guest