The philosophy of mathematics - Hart, W. D. (Oxford readings in philosophy, 1996)