Foundations of Arithmetic