Comment by timerol

> And 2 is just S(S(0))

This is a good example of why you need rules on which functions are allowed. Repeated application of the successor function makes the entire exercise trivial