The mathematics of mathematics