3 The mathematics of mathematics