The Foundations of Arithmetic