The nature of mathematical knowledge