4 messages · Page 1 of 1 (latest)
So I need to prove that 0 + n = n and n + succ(m) = succ(m + n)
I'm stuck on the second part of the proofs
On proving 0 + n = n, 0 + 0 is clearly 0
But how do I deal with 0 + succ(k)?