More notes on set theory and natural numbers
Reorganize the definition of addition. Prove assoc and comm for addition.