Added exploration of Peano axioms and addition.