A sophisticated, original introduction to the philosophy of mathematics from one of its leading thinkers