It makes for a more elegant (imho) recursive definition of the sum. Instead of:

    a + S(b) = S(a) + b
    a + 0 = a

you would have:

    a + S(b) = S(a) + b
    a + 1 = S(a)

And also you would not be able to express 1 as a sum of two numbers.