Philosophical reflection on the foundations of mathematical thought is an ancient practice, going back at least to Plato. It focuses on such questions as what makes mathematical statements true, what is a mathematical proof and why they are compelling, and what is the nature of mathematical objects.