What are numbers? What is the nature of arithmetical truth?