Properties of Arithmetic