Closure property of addition

The closure property of addition is that the sum of two natural numbers is always a natural number, never something else.

Prove this by induction. You will eventually use the fact that NN n => NN (succ n) in this proof.

Click the link to get back on the main track:

➭ Next