Because when writing a recursive function, the zero element is generally the base case.

    if x:
        <destructure x, recurse on subparts>
    else:
        return <something>

This applies to (natural) numbers as well--'destructuring' usually means decrementing the number.