>>11560986we declare that for every natural number there exists a successor function that produces its successor, and define addition as repeated application of the successor
we also need a base case of 0
1 is just a symbol for S(0), 1 + 1 = S(S(0)), 2 is just a symbol for S(S(0)) 1 + 1 = 2
