Title: The foundations of arithmetic