Docs
Mission
About
Links
Introduction
Goals and assumptions
Working forward
Properties
Induction: zero plus n
Associativity
Commutativity
Closure property of addition
Adding one
Same successors
Zero sums
Adding to the successor of a number
A key fact for proving the commutativity of addition. You will want to use induction yet again!
➭
Next