> This is an unabridged version of a solicited article for a forthcoming Blackwell Companion to the Philosophy of Mathematics. […] took over a year to write – which means, at the current pace of development in the field, that some of it is already slightly out of date.