Understanding Arithmetic Through Definitions