Nature of mathematical knowledge - Kitcher, Philip (OUP, 1984)