Students add natural numbers in axioms to prove addition theorems. In this axiom lesson plan, students add 3 + 4 to make the number 7.